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