The lion chases the mouse. The lion is blue. The lion is green. The lion is rough. The lion likes the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is blue. The mouse is nice. The mouse is young. The mouse likes the lion. The mouse sees the lion. If someone is blue and they chase the lion then they see the mouse. If someone chases the lion and they see the mouse then the lion likes the mouse. If someone chases the mouse and the mouse likes the lion then the mouse chases the lion. If someone is nice and they see the mouse then they like the mouse. If someone chases the lion then the lion likes the mouse. If the mouse is young and the mouse sees the lion then the lion sees the mouse.
The mouse likes the lion.
@0: The lion chases the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is rough.[(triple4)] The lion likes the mouse.[(triple5 OR ((triple7) -> rule5) OR ((((triple1 triple11) -> rule3)) -> rule5) OR ((triple7 ((triple8 triple7) -> rule1)) -> rule2) OR ((((triple1 triple11) -> rule3) ((triple8 triple7) -> rule1)) -> rule2) OR ((triple7 ((triple8 ((triple1 triple11) -> rule3)) -> rule1)) -> rule2) OR ((((triple1 triple11) -> rule3) ((triple8 ((triple1 triple11) -> rule3)) -> rule1)) -> rule2))] The lion sees the mouse.[(triple6 OR ((triple10 triple12) -> rule6))] The mouse chases the lion.[(triple7 OR ((triple1 triple11) -> rule3))] The mouse is blue.[(triple8)] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse likes the lion.[(triple11)] The mouse sees the lion.[(triple12)] @1: The mouse sees the mouse.[(((triple8 triple7) -> rule1) OR ((triple8 ((triple1 triple11) -> rule3)) -> rule1))] @2: The mouse likes the mouse.[(((triple9 ((triple8 triple7) -> rule1)) -> rule4) OR ((triple9 ((triple8 ((triple1 triple11) -> rule3)) -> rule1)) -> rule4))]