The cat is blue. The cat likes the rabbit. The cat visits the cow. The cow is red. The cow likes the cat. The cow visits the cat. The rabbit is green. The rabbit likes the cow. The rabbit sees the cat. The rabbit sees the cow. The rabbit visits the cat. The rabbit visits the cow. If someone likes the cow then they are blue. If someone likes the cat then they are green. If someone is blue and they visit the cat then the cat visits the rabbit. If someone visits the rabbit then they are green. If the cow visits the cat and the cow visits the rabbit then the cow likes the rabbit. If the cow sees the cat and the cat sees the rabbit then the cow is blue.
The cow visits the rabbit.
@0: The cat is blue.[(triple1)] The cat likes the rabbit.[(triple2)] The cat visits the cow.[(triple3)] The cow is red.[(triple4)] The cow likes the cat.[(triple5)] The cow visits the cat.[(triple6)] The rabbit is green.[(triple7)] The rabbit likes the cow.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit sees the cow.[(triple10)] The rabbit visits the cat.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow is green.[(((triple5) -> rule2))] The rabbit is blue.[(((triple8) -> rule1))] @2: The cat visits the rabbit.[(((((triple8) -> rule1) triple11) -> rule3))] @3: The cat is green.[(((((((triple8) -> rule1) triple11) -> rule3)) -> rule4))]