The bear eats the cow. The cow eats the bear. The cow eats the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is rough. The squirrel eats the cow. The squirrel is cold. The squirrel needs the bear. The squirrel sees the cow. If something eats the bear and it is rough then it sees the squirrel. If something sees the bear then it is kind. If something is cold then it sees the cow. If something sees the squirrel then it sees the bear. If the squirrel sees the cow and the squirrel needs the rabbit then the cow sees the squirrel. If something needs the bear then it needs the rabbit. If something is kind then it needs the cow. If something needs the bear then it is red.
The rabbit does not eat the squirrel.
@0: The bear eats the cow.[(triple1)] The cow eats the bear.[(triple2)] The cow eats the squirrel.[(triple3)] The rabbit eats the cow.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is rough.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is cold.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the cow.[(triple10 OR ((triple8) -> rule3))] @1: The squirrel is red.[(((triple9) -> rule8))] The squirrel needs the rabbit.[(((triple9) -> rule6))] @2: The cow sees the squirrel.[(((triple10 ((triple9) -> rule6)) -> rule5) OR ((((triple8) -> rule3) ((triple9) -> rule6)) -> rule5))] @3: The cow sees the bear.[(((((triple10 ((triple9) -> rule6)) -> rule5)) -> rule4) OR ((((((triple8) -> rule3) ((triple9) -> rule6)) -> rule5)) -> rule4))] @4: The cow is kind.[(((((((triple10 ((triple9) -> rule6)) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple8) -> rule3) ((triple9) -> rule6)) -> rule5)) -> rule4)) -> rule2))] @5: The cow needs the cow.[(((((((((triple10 ((triple9) -> rule6)) -> rule5)) -> rule4)) -> rule2)) -> rule7) OR ((((((((((triple8) -> rule3) ((triple9) -> rule6)) -> rule5)) -> rule4)) -> rule2)) -> rule7))]