The bear likes the cat. The cat likes the cow. The cow eats the tiger. The tiger is round. If something is young then it sees the bear. If something likes the cat then it is young. If something is cold then it sees the cow. If something eats the cat and the cat eats the cow then it likes the tiger. If something sees the cow and it sees the tiger then the tiger likes the cat. If something is blue and it sees the cow then the cow eats the bear.
The bear is young.
@0: The bear likes the cat.[(triple1)] The cat likes the cow.[(triple2)] The cow eats the tiger.[(triple3)] The tiger is round.[(triple4)] @1: The bear is young.[(((triple1) -> rule2))] @2: The bear sees the bear.[(((((triple1) -> rule2)) -> rule1))]