The cat is red. The cat is rough. The cat is round. The cat is young. The cat needs the dog. The cat sees the dog. The cat visits the dog. The dog is red. The dog is rough. The dog visits the cat. If something needs the dog then the dog is young. If something is round then it is red. If something sees the cat and it visits the dog then the cat is cold.
The cat is not cold.
@0: The cat is red.[(triple1 OR ((triple3) -> rule2))] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat needs the dog.[(triple5)] The cat sees the dog.[(triple6)] The cat visits the dog.[(triple7)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog visits the cat.[(triple10)] @1: The dog is young.[(((triple5) -> rule1))]