The cat is green. The cat sees the cow. The cat visits the cow. The cow eats the cat. The cow is cold. The cow is green. The cow sees the cat. If something is green then it visits the cat. If something eats the cow and it is green then it is cold. If the cow is green then the cow is round. If something is cold and it visits the cow then it is nice. All round, nice things are cold. If something eats the cat then the cat eats the cow.
The cow sees the cow.
@0: The cat is green.[(triple1)] The cat sees the cow.[(triple2)] The cat visits the cow.[(triple3)] The cow eats the cat.[(triple4)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow sees the cat.[(triple7)] @1: The cat eats the cow.[(((triple4) -> rule6))] The cat visits the cat.[(((triple1) -> rule1))] The cow is round.[(((triple6) -> rule3))] The cow visits the cat.[(((triple6) -> rule1))] @2: The cat is cold.[(((((triple4) -> rule6) triple1) -> rule2))] @3: The cat is nice.[(((((((triple4) -> rule6) triple1) -> rule2) triple3) -> rule4))]