The cat chases the mouse. The cat eats the mouse. The cat is cold. The cat is kind. The cat is not nice. The cat is red. The cat needs the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse is not round. The mouse needs the cat. If something is cold then it needs the cat. If something eats the mouse then it needs the cat. If something is nice and it needs the mouse then the mouse chases the cat. If the cat is red then the cat chases the mouse. If something is red and it needs the mouse then it eats the mouse. If something needs the cat then it chases the mouse.
The cat needs the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple6) -> rule4) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple3) -> rule1)) -> rule6) OR ((((((triple6 triple7) -> rule5)) -> rule2)) -> rule6))] The cat eats the mouse.[(triple2 OR ((triple6 triple7) -> rule5))] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is not nice.[(triple5)] The cat is red.[(triple6)] The cat needs the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is cold.[(triple10)] The mouse is kind.[(triple11)] The mouse is nice.[(triple12)] The mouse is not round.[(triple14)] The mouse is red.[(triple13)] The mouse needs the cat.[(triple15 OR ((triple10) -> rule1))] @1: The cat needs the cat.[(((triple2) -> rule2) OR ((triple3) -> rule1) OR ((((triple6 triple7) -> rule5)) -> rule2))] The mouse chases the mouse.[(((triple15) -> rule6) OR ((((triple10) -> rule1)) -> rule6))]