The cow is young. The cow likes the lion. The cow visits the lion. The lion eats the cow. The lion is round. The lion likes the cow. The lion visits the cow. If someone eats the lion and they visit the cow then they are nice. If someone eats the cow then they visit the lion. If someone visits the cow and they visit the lion then they are red. If someone eats the lion and they like the lion then the lion eats the cow. If someone visits the cow then the cow is round. If the cow eats the lion and the cow visits the lion then the lion visits the cow.
The cow eats the lion.
@0: The cow is young.[(triple1)] The cow likes the lion.[(triple2)] The cow visits the lion.[(triple3)] The lion eats the cow.[(triple4)] The lion is round.[(triple5)] The lion likes the cow.[(triple6)] The lion visits the cow.[(triple7)] @1: The cow is round.[(((triple7) -> rule5))] The lion visits the lion.[(((triple4) -> rule2))] @2: The lion is red.[(((triple7 ((triple4) -> rule2)) -> rule3))]