The bear is cold. The cat does not eat the bear. The cat eats the lion. The cat is cold. The cat is kind. The cat is nice. The cat is round. The cat visits the lion. The lion does not eat the bear. The lion is not cold. The lion is red. The lion does not visit the cat. If something is red then it likes the bear. Kind, cold things are red.
The lion likes the bear.
@0: The bear is cold.[(triple1)] The cat does not eat the bear.[(triple2)] The cat eats the lion.[(triple3)] The cat is cold.[(triple4)] The cat is kind.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat visits the lion.[(triple8)] The lion does not eat the bear.[(triple9)] The lion does not visit the cat.[(triple12)] The lion is not cold.[(triple10)] The lion is red.[(triple11)] @1: The cat is red.[(((triple5 triple4) -> rule2))] The lion likes the bear.[(((triple11) -> rule1))] @2: The cat likes the bear.[(((((triple5 triple4) -> rule2)) -> rule1))]