The cow eats the lion. The lion is rough. If someone is rough and they eat the lion then they are red. If the cow sees the lion then the lion sees the cow. If the cow eats the lion and the cow sees the lion then the cow chases the lion. If someone eats the lion then they see the lion. If the lion sees the cow then the lion eats the cow. If someone sees the lion and they are cold then the lion is red.
The cow sees the lion.
@0: The cow eats the lion.[(triple1)] The lion is rough.[(triple2)] @1: The cow sees the lion.[(((triple1) -> rule4))] @2: The cow chases the lion.[(((triple1 ((triple1) -> rule4)) -> rule3))] The lion sees the cow.[(((((triple1) -> rule4)) -> rule2))] @3: The lion eats the cow.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))]