The cat is red. The cat likes the dog. The cat likes the squirrel. The cat needs the dog. The cat needs the squirrel. The cat sees the dog. The dog is big. The dog likes the squirrel. The dog needs the squirrel. The dog sees the squirrel. The squirrel is big. The squirrel needs the cat. If the cat is nice then the cat is big. If something likes the dog and the dog sees the cat then it needs the dog. If something is big then it likes the dog. If something sees the squirrel and the squirrel likes the dog then it sees the cat. If something needs the cat and the cat needs the dog then it needs the squirrel. If something sees the squirrel then it is red.
The dog likes the dog.
@0: The cat is red.[(triple1)] The cat likes the dog.[(triple2)] The cat likes the squirrel.[(triple3)] The cat needs the dog.[(triple4 OR ((triple2 ((triple10 ((triple11) -> rule3)) -> rule4)) -> rule2))] The cat needs the squirrel.[(triple5)] The cat sees the dog.[(triple6)] The dog is big.[(triple7)] The dog likes the squirrel.[(triple8)] The dog needs the squirrel.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel is big.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The dog is red.[(((triple10) -> rule6))] The dog likes the dog.[(((triple7) -> rule3))] The squirrel likes the dog.[(((triple11) -> rule3))] The squirrel needs the squirrel.[(((triple12 triple4) -> rule5) OR ((triple12 ((triple2 ((triple10 ((triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5))] @2: The dog sees the cat.[(((triple10 ((triple11) -> rule3)) -> rule4))] @3: The dog needs the dog.[(((((triple7) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule4)) -> rule2))] The squirrel needs the dog.[(((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule4)) -> rule2))]