The cat is round. The cat is young. The cat likes the dog. The cat needs the dog. The cat sees the dog. The dog is big. The dog is rough. The dog is round. The dog likes the cat. The dog needs the cat. If something is big then it needs the dog. If the dog needs the cat and the cat likes the dog then the dog sees the cat. If the cat sees the dog then the dog sees the cat. If something sees the cat then it is round. If something needs the cat and the cat is round then the cat needs the dog. If something sees the dog and the dog likes the cat then the cat is big. If something is big and it sees the dog then it is rough. If something needs the cat and it is green then the cat sees the dog.
The cat sees the cat.
@0: The cat is round.[(triple1)] The cat is young.[(triple2)] The cat likes the dog.[(triple3)] The cat needs the dog.[(triple4 OR ((triple10 triple1) -> rule5) OR ((((triple5 triple9) -> rule6)) -> rule1))] The cat sees the dog.[(triple5)] The dog is big.[(triple6)] The dog is rough.[(triple7)] The dog is round.[(triple8 OR ((((triple5) -> rule3)) -> rule4) OR ((((triple10 triple3) -> rule2)) -> rule4))] The dog likes the cat.[(triple9)] The dog needs the cat.[(triple10)] @1: The cat is big.[(((triple5 triple9) -> rule6))] The dog needs the dog.[(((triple6) -> rule1))] The dog sees the cat.[(((triple5) -> rule3) OR ((triple10 triple3) -> rule2))] @2: The cat is rough.[(((((triple5 triple9) -> rule6) triple5) -> rule7))]