The bear eats the cat. The bear is kind. The cat eats the lion. The cat is blue. The cat is round. The lion needs the bear. The lion visits the bear. If something needs the lion and the lion visits the bear then it is kind. If something eats the cat and the cat is round then the cat needs the lion. If the lion needs the cat and the cat eats the bear then the cat visits the lion. If something needs the bear then the bear is red. All red things are round. If something is kind then it visits the lion.
The lion does not visit the lion.
@0: The bear eats the cat.[(triple1)] The bear is kind.[(triple2)] The cat eats the lion.[(triple3)] The cat is blue.[(triple4)] The cat is round.[(triple5)] The lion needs the bear.[(triple6)] The lion visits the bear.[(triple7)] @1: The bear is red.[(((triple6) -> rule4))] The bear visits the lion.[(((triple2) -> rule6))] The cat needs the lion.[(((triple1 triple5) -> rule2))] @2: The bear is round.[(((((triple6) -> rule4)) -> rule5))] The cat is kind.[(((((triple1 triple5) -> rule2) triple7) -> rule1))] @3: The cat visits the lion.[(((((((triple1 triple5) -> rule2) triple7) -> rule1)) -> rule6))]