The cow eats the lion. The cow is round. The cow visits the tiger. The lion eats the cow. The lion is nice. The squirrel is cold. The tiger is green. If something sees the cow then the cow sees the lion. If something eats the cow then the cow is green. If the lion sees the squirrel then the lion is green. If something visits the cow then it is nice. If the cow visits the squirrel and the cow sees the squirrel then the cow sees the lion. If something sees the cow then the cow is round. If the cow is cold then the cow sees the lion. If something is green then it is cold.
The cow is green.
@0: The cow eats the lion.[(triple1)] The cow is round.[(triple2)] The cow visits the tiger.[(triple3)] The lion eats the cow.[(triple4)] The lion is nice.[(triple5)] The squirrel is cold.[(triple6)] The tiger is green.[(triple7)] @1: The cow is green.[(((triple4) -> rule2))] The tiger is cold.[(((triple7) -> rule8))] @2: The cow is cold.[(((((triple4) -> rule2)) -> rule8))] @3: The cow sees the lion.[(((((((triple4) -> rule2)) -> rule8)) -> rule7))]