The bear eats the rabbit. The bear likes the rabbit. The bear likes the squirrel. The bear visits the cat. The bear visits the squirrel. The cat visits the bear. The rabbit is big. The rabbit is nice. The rabbit visits the bear. The squirrel eats the bear. The squirrel is rough. The squirrel visits the cat. If something is kind then it is rough. If the rabbit likes the cat and the rabbit is nice then the rabbit eats the bear. If something is big then it visits the bear. If the cat eats the rabbit then the cat eats the squirrel. If something likes the bear then the bear is kind. If something visits the squirrel then the squirrel likes the bear. If something visits the bear then it eats the rabbit. If the squirrel likes the cat and the squirrel visits the rabbit then the cat is round.
The bear visits the cat.
@0: The bear eats the rabbit.[(triple1)] The bear likes the rabbit.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the squirrel.[(triple5)] The cat visits the bear.[(triple6)] The rabbit is big.[(triple7)] The rabbit is nice.[(triple8)] The rabbit visits the bear.[(triple9 OR ((triple7) -> rule3))] The squirrel eats the bear.[(triple10)] The squirrel is rough.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat eats the rabbit.[(((triple6) -> rule7))] The rabbit eats the rabbit.[(((triple9) -> rule7) OR ((((triple7) -> rule3)) -> rule7))] The squirrel likes the bear.[(((triple5) -> rule6))] @2: The bear is kind.[(((((triple5) -> rule6)) -> rule5))] The cat eats the squirrel.[(((((triple6) -> rule7)) -> rule4))] @3: The bear is rough.[(((((((triple5) -> rule6)) -> rule5)) -> rule1))]