The bear is blue. The cat eats the rabbit. The cat is blue. The cat is round. The cat is young. The rabbit eats the bear. The rabbit likes the cat. If something eats the rabbit then it is nice. If the cat is nice and the cat eats the rabbit then the rabbit likes the bear. All blue things are red.
The cat is not red.
@0: The bear is blue.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is blue.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit likes the cat.[(triple7)] @1: The bear is red.[(((triple1) -> rule3))] The cat is nice.[(((triple2) -> rule1))] The cat is red.[(((triple3) -> rule3))] @2: The rabbit likes the bear.[(((((triple2) -> rule1) triple2) -> rule2))]