The cow chases the tiger. The cow is blue. The cow visits the tiger. The tiger chases the cow. The tiger is red. The tiger likes the cow. The tiger visits the cow. If someone is blue then they like the cow. If someone chases the cow then the cow is rough. If someone is rough then they like the tiger.
The tiger is red.
@0: The cow chases the tiger.[(triple1)] The cow is blue.[(triple2)] The cow visits the tiger.[(triple3)] The tiger chases the cow.[(triple4)] The tiger is red.[(triple5)] The tiger likes the cow.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow is rough.[(((triple4) -> rule2))] The cow likes the cow.[(((triple2) -> rule1))] @2: The cow likes the tiger.[(((((triple4) -> rule2)) -> rule3))]