The bear does not eat the cat. The bear is green. The bear is red. The bear likes the cat. The bear sees the cat. The cat is nice. The cat is round. If something likes the cat and the cat sees the bear then it sees the bear. If the cat sees the bear then the cat does not like the bear. If something likes the cat then the cat likes the bear. If something sees the cat then the cat is green. If something is nice and it likes the bear then the bear is round. If the bear is nice and the bear likes the cat then the bear is red.
The bear does not eat the cat.
@0: The bear does not eat the cat.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4)] The bear sees the cat.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] @1: The cat is green.[(((triple5) -> rule4))] The cat likes the bear.[(((triple4) -> rule3))] @2: The bear is round.[(((triple6 ((triple4) -> rule3)) -> rule5))]