The cat eats the dog. The cat is big. The cat is cold. The cat is kind. The cat is red. The cat likes the dog. The cat needs the dog. The dog eats the cat. The dog is cold. The dog is kind. If something likes the dog then it needs the dog. If something is big and it needs the cat then it likes the dog. If something eats the cat then it is rough. If something is rough and it eats the cat then it likes the dog. If something eats the cat then the cat likes the dog. If something eats the cat then it is cold. If something likes the dog and it is rough then it likes the cat. If something is cold and rough then it likes the cat.
The dog does not eat the dog.
@0: The cat eats the dog.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is red.[(triple5)] The cat likes the dog.[(triple6 OR ((triple8) -> rule5))] The cat needs the dog.[(triple7 OR ((triple6) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] The dog eats the cat.[(triple8)] The dog is cold.[(triple9 OR ((triple8) -> rule6))] The dog is kind.[(triple10)] @1: The dog is rough.[(((triple8) -> rule3))] @2: The dog likes the cat.[(((triple9 ((triple8) -> rule3)) -> rule8) OR ((((triple8) -> rule6) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3) triple8) -> rule4) ((triple8) -> rule3)) -> rule7))] The dog likes the dog.[(((((triple8) -> rule3) triple8) -> rule4))] @3: The dog needs the dog.[(((((((triple8) -> rule3) triple8) -> rule4)) -> rule1))]