The cat is big. The cat is red. The cat is rough. The cat is young. The cat likes the dog. The cat sees the dog. The cat visits the dog. The dog is big. The dog is green. The dog is red. The dog is rough. The dog is young. The dog likes the cat. The dog sees the cat. The dog visits the cat. If something sees the dog then the dog sees the cat. If something likes the dog and it sees the dog then it visits the cat. If the dog is red then the dog sees the cat. If something likes the cat and it visits the dog then it is young. If something is rough then it likes the dog. If something likes the cat and it sees the dog then the dog likes the cat.
The dog is not rough.
@0: The cat is big.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat likes the dog.[(triple5 OR ((triple3) -> rule5))] The cat sees the dog.[(triple6)] The cat visits the dog.[(triple7)] The dog is big.[(triple8)] The dog is green.[(triple9)] The dog is red.[(triple10)] The dog is rough.[(triple11)] The dog is young.[(triple12)] The dog likes the cat.[(triple13)] The dog sees the cat.[(triple14 OR ((triple10) -> rule3) OR ((triple6) -> rule1))] The dog visits the cat.[(triple15)] @1: The cat visits the cat.[(((triple5 triple6) -> rule2) OR ((((triple3) -> rule5) triple6) -> rule2))] The dog likes the dog.[(((triple11) -> rule5))]