The bear eats the cat. The bear likes the cat. The cat is round. The cat likes the bear. The cat visits the rabbit. The rabbit eats the bear. The rabbit is blue. The rabbit is kind. The rabbit likes the cat. The rabbit visits the cat. If something likes the cat and the cat visits the bear then the cat is blue. If something is kind then it eats the cat. If the bear is cold then the bear is kind. If something eats the cat then the cat is big. If something eats the cat then the cat visits the bear. If something visits the bear then the bear is blue.
The rabbit does not eat the rabbit.
@0: The bear eats the cat.[(triple1)] The bear likes the cat.[(triple2)] The cat is round.[(triple3)] The cat likes the bear.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat is big.[(((triple1) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] The cat visits the bear.[(((triple1) -> rule5) OR ((((triple8) -> rule2)) -> rule5))] The rabbit eats the cat.[(((triple8) -> rule2))] @2: The bear is blue.[(((((triple1) -> rule5)) -> rule6) OR ((((((triple8) -> rule2)) -> rule5)) -> rule6))] The cat is blue.[(((triple2 ((triple1) -> rule5)) -> rule1) OR ((triple9 ((triple1) -> rule5)) -> rule1) OR ((triple2 ((((triple8) -> rule2)) -> rule5)) -> rule1) OR ((triple9 ((((triple8) -> rule2)) -> rule5)) -> rule1))]