The cat chases the mouse. The cat is green. The cat is kind. The cat is round. The cat is young. The cat sees the mouse. The cat visits the mouse. The mouse chases the cat. The mouse sees the cat. The mouse visits the cat. Green, kind things are big. If something visits the mouse then the mouse is big. If something is green and it chases the mouse then the mouse is kind. If something is green then it visits the mouse. If something visits the cat then it chases the cat. If something chases the cat then the cat chases the mouse. If something sees the mouse then the mouse is round. If something chases the cat and the cat is green then it sees the cat.
The cat does not chase the mouse.
@0: The cat chases the mouse.[(triple1 OR ((triple8) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat sees the mouse.[(triple6)] The cat visits the mouse.[(triple7 OR ((triple2) -> rule4))] The mouse chases the cat.[(triple8 OR ((triple10) -> rule5))] The mouse sees the cat.[(triple9 OR ((triple8 triple2) -> rule8) OR ((((triple10) -> rule5) triple2) -> rule8))] The mouse visits the cat.[(triple10)] @1: The cat is big.[(((triple2 triple3) -> rule1))] The mouse is big.[(((triple7) -> rule2) OR ((((triple2) -> rule4)) -> rule2))] The mouse is kind.[(((triple2 triple1) -> rule3) OR ((triple2 ((triple8) -> rule6)) -> rule3) OR ((triple2 ((((triple10) -> rule5)) -> rule6)) -> rule3))] The mouse is round.[(((triple6) -> rule7))]