The cat is blue. The cat is cold. The cat is rough. The cat likes the rabbit. The cat visits the rabbit. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit likes the cat. The rabbit sees the cat. The rabbit visits the cat. If something sees the cat and the cat sees the rabbit then the cat visits the rabbit. If something likes the rabbit and the rabbit likes the cat then it sees the cat. If something sees the cat and it visits the rabbit then it visits the cat.
The cat visits the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is rough.[(triple3)] The cat likes the rabbit.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is green.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit sees the cat.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The cat sees the cat.[(((triple4 triple10) -> rule2))] @2: The cat visits the cat.[(((((triple4 triple10) -> rule2) triple5) -> rule3))]