The bear eats the squirrel. The bear is nice. The bear is round. The bear needs the squirrel. The cow does not eat the tiger. The cow is cold. The cow needs the tiger. The squirrel is cold. The squirrel is nice. The squirrel does not see the bear. The squirrel sees the tiger. The tiger needs the bear. If the squirrel is blue then the squirrel sees the tiger. If someone sees the tiger then they need the cow. If someone eats the tiger and they are not blue then they eat the cow. If someone needs the cow then they eat the bear. If someone is cold then they see the tiger. If someone needs the cow then they see the squirrel.
The bear needs the tiger.
@0: The bear eats the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear needs the squirrel.[(triple4)] The cow does not eat the tiger.[(triple5)] The cow is cold.[(triple6)] The cow needs the tiger.[(triple7)] The squirrel does not see the bear.[(triple10)] The squirrel is cold.[(triple8)] The squirrel is nice.[(triple9)] The squirrel sees the tiger.[(triple11 OR ((triple8) -> rule5))] The tiger needs the bear.[(triple12)] @1: The cow sees the tiger.[(((triple6) -> rule5))] The squirrel needs the cow.[(((triple11) -> rule2) OR ((((triple8) -> rule5)) -> rule2))] @2: The cow needs the cow.[(((((triple6) -> rule5)) -> rule2))] The squirrel eats the bear.[(((((triple11) -> rule2)) -> rule4) OR ((((((triple8) -> rule5)) -> rule2)) -> rule4))] The squirrel sees the squirrel.[(((((triple11) -> rule2)) -> rule6) OR ((((((triple8) -> rule5)) -> rule2)) -> rule6))] @3: The cow eats the bear.[(((((((triple6) -> rule5)) -> rule2)) -> rule4))] The cow sees the squirrel.[(((((((triple6) -> rule5)) -> rule2)) -> rule6))]