the simulator does not pose.
sent1: the fact that the simulator is not a pose is true if that the rhinoscope is a kind of a Cakchiquel and does term is not right. sent2: the simulator is not a kind of a pose if the rhinoscope does not term. sent3: the chicane is Sabine and it invokes. sent4: the shimmy does interact and it is autumnal. sent5: the chicane invokes. sent6: The south does laicize shimmy. sent7: the rhinoscope is unselfish. sent8: if the shellflower is not a Cakchiquel that the rhinoscope is a Cakchiquel and it terms is wrong. sent9: the simulator does pose and it is a Sabine if the chicane does not invoke. sent10: if that the simulator is both a Cakchiquel and a pose is wrong then the rhinoscope is not a term. sent11: the rhinoscope does not invoke. sent12: if something is a kind of a Cakchiquel then that the shimmy is not macromolecular and it does not laicize south is not correct. sent13: if the shimmy is not non-macromolecular and does laicize south the shellflower is not a kind of a Cakchiquel. sent14: the shimmy does laicize south. sent15: the rhinoscope does laicize south. sent16: if the chicane is a kind of a Sabine the shimmy is macromolecular.
sent3 -> int1: the chicane is a kind of a Sabine.; int1 & sent16 -> int2: the shimmy is macromolecular.; int2 & sent14 -> int3: the shimmy is macromolecular and it does laicize south.; int3 & sent13 -> int4: the shellflower is not a Cakchiquel.; int4 & sent8 -> int5: that the rhinoscope is a Cakchiquel and it terms is wrong.; int5 & sent1 -> hypothesis;
the simulator does pose.
$hypothesis$ = the simulator does not pose. ; $context$ = sent1: the fact that the simulator is not a pose is true if that the rhinoscope is a kind of a Cakchiquel and does term is not right. sent2: the simulator is not a kind of a pose if the rhinoscope does not term. sent3: the chicane is Sabine and it invokes. sent4: the shimmy does interact and it is autumnal. sent5: the chicane invokes. sent6: The south does laicize shimmy. sent7: the rhinoscope is unselfish. sent8: if the shellflower is not a Cakchiquel that the rhinoscope is a Cakchiquel and it terms is wrong. sent9: the simulator does pose and it is a Sabine if the chicane does not invoke. sent10: if that the simulator is both a Cakchiquel and a pose is wrong then the rhinoscope is not a term. sent11: the rhinoscope does not invoke. sent12: if something is a kind of a Cakchiquel then that the shimmy is not macromolecular and it does not laicize south is not correct. sent13: if the shimmy is not non-macromolecular and does laicize south the shellflower is not a kind of a Cakchiquel. sent14: the shimmy does laicize south. sent15: the rhinoscope does laicize south. sent16: if the chicane is a kind of a Sabine the shimmy is macromolecular. ; $proof$ = 
sent3 -> int1: the chicane is a kind of a Sabine.; int1 & sent16 -> int2: the shimmy is macromolecular.; int2 & sent14 -> int3: the shimmy is macromolecular and it does laicize south.; int3 & sent13 -> int4: the shellflower is not a Cakchiquel.; int4 & sent8 -> int5: that the rhinoscope is a Cakchiquel and it terms is wrong.; int5 & sent1 -> hypothesis; __PROVED__