The bear is nice. The bear is round. The bear likes the squirrel. The bear sees the rabbit. The cat is round. The rabbit eats the squirrel. The rabbit is not nice. The rabbit sees the squirrel. The squirrel eats the cat. The squirrel is blue. The squirrel likes the cat. If something is blue and it likes the cat then it sees the cat. If the cat sees the bear then the bear sees the rabbit. If something eats the squirrel then the squirrel sees the cat. If something likes the bear then the bear eats the rabbit. If the cat is round then the cat likes the bear. If something eats the rabbit then the rabbit eats the cat. If the rabbit sees the cat and the rabbit eats the squirrel then the rabbit likes the cat. If something eats the cat and it is not nice then it eats the bear. If something eats the bear then the bear likes the cat.
The squirrel does not eat the bear.
@0: The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear likes the squirrel.[(triple3)] The bear sees the rabbit.[(triple4)] The cat is round.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is not nice.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the cat.[(triple11)] @1: The cat likes the bear.[(((triple5) -> rule5))] The squirrel sees the cat.[(((triple6) -> rule3) OR ((triple10 triple11) -> rule1))] @2: The bear eats the rabbit.[(((((triple5) -> rule5)) -> rule4))] @3: The rabbit eats the cat.[(((((((triple5) -> rule5)) -> rule4)) -> rule6))] @4: The rabbit eats the bear.[(((((((((triple5) -> rule5)) -> rule4)) -> rule6) triple7) -> rule8))] @5: The bear likes the cat.[(((((((((((triple5) -> rule5)) -> rule4)) -> rule6) triple7) -> rule8)) -> rule9))]