The cat is red. The cat likes the dog. The cat likes the mouse. The cat visits the dog. The dog is young. The dog likes the mouse. The dog needs the mouse. The mouse is young. The mouse likes the cat. The mouse needs the cat. If something is red then it needs the cat. If something likes the cat and the cat is red then the cat needs the dog. If the cat visits the mouse then the mouse is rough. If something needs the dog then it visits the cat. If the dog likes the cat then the dog is red. If something needs the dog then it likes the dog. If something likes the dog and the dog needs the mouse then it is red. If the dog likes the mouse then the dog is kind.
The mouse does not like the dog.
@0: The cat is red.[(triple1 OR ((triple2 triple7) -> rule7))] The cat likes the dog.[(triple2 OR ((((triple9 triple1) -> rule2)) -> rule6))] The cat likes the mouse.[(triple3)] The cat visits the dog.[(triple4)] The dog is young.[(triple5)] The dog likes the mouse.[(triple6)] The dog needs the mouse.[(triple7)] The mouse is young.[(triple8)] The mouse likes the cat.[(triple9)] The mouse needs the cat.[(triple10)] @1: The cat needs the cat.[(((triple1) -> rule1) OR ((((triple2 triple7) -> rule7)) -> rule1))] The cat needs the dog.[(((triple9 triple1) -> rule2) OR ((triple9 ((triple2 triple7) -> rule7)) -> rule2))] The dog is kind.[(((triple6) -> rule8))] @2: The cat visits the cat.[(((((triple9 triple1) -> rule2)) -> rule4) OR ((((triple9 ((triple2 triple7) -> rule7)) -> rule2)) -> rule4))]