The bear is big. The bear is green. The bear is round. The cat is round. The rabbit is red. The rabbit likes the bear. The tiger likes the bear. If something is young and it eats the bear then it eats the cat. If something is round and it eats the rabbit then it chases the tiger. If something eats the tiger and it eats the cat then it is big. If something likes the cat and the cat chases the rabbit then it is big. If something chases the cat and the cat chases the tiger then the cat eats the tiger. If something is round then it eats the rabbit.
The rabbit is red.
@0: The bear is big.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The cat is round.[(triple4)] The rabbit is red.[(triple5)] The rabbit likes the bear.[(triple6)] The tiger likes the bear.[(triple7)] @1: The bear eats the rabbit.[(((triple3) -> rule6))] The cat eats the rabbit.[(((triple4) -> rule6))] @2: The bear chases the tiger.[(((triple3 ((triple3) -> rule6)) -> rule2))] The cat chases the tiger.[(((triple4 ((triple4) -> rule6)) -> rule2))]