The cat eats the dog. The cat is nice. The cat is rough. The dog eats the mouse. The dog needs the cat. The dog sees the cat. The dog sees the mouse. The mouse eats the dog. The mouse is rough. The mouse is young. The mouse needs the dog. The mouse sees the dog. If something needs the mouse and the mouse sees the dog then the mouse is red. If something sees the cat then the cat sees the dog. If something is young then it sees the dog. If something needs the cat then the cat needs the mouse. If something is rough and it eats the mouse then it sees the cat. If something is red then it needs the cat. If the dog is young and the dog is red then the dog is rough. If something eats the dog and it is nice then it sees the dog.
The mouse does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The dog eats the mouse.[(triple4)] The dog needs the cat.[(triple5)] The dog sees the cat.[(triple6)] The dog sees the mouse.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is rough.[(triple9)] The mouse is young.[(triple10)] The mouse needs the dog.[(triple11)] The mouse sees the dog.[(triple12 OR ((triple10) -> rule3))] @1: The cat needs the mouse.[(((triple5) -> rule4))] The cat sees the dog.[(((triple6) -> rule2) OR ((triple1 triple2) -> rule8))] @2: The mouse is red.[(((((triple5) -> rule4) triple12) -> rule1) OR ((((triple5) -> rule4) ((triple10) -> rule3)) -> rule1))] @3: The mouse needs the cat.[(((((((triple5) -> rule4) triple12) -> rule1)) -> rule6) OR ((((((triple5) -> rule4) ((triple10) -> rule3)) -> rule1)) -> rule6))]