The bear is big. The bear is round. The cow is round. The cow likes the bear. The squirrel eats the cow. The squirrel is blue. The squirrel likes the bear. The squirrel likes the cow. The squirrel needs the bear. The squirrel needs the cow. If someone eats the cow and the cow likes the bear then they need the squirrel. If someone eats the cow then they like the bear. If someone eats the bear and the bear likes the cow then the bear is green. If someone is green then they need the cow. All blue people are green. If someone needs the squirrel and the squirrel needs the cow then the cow eats the squirrel.
The cow is not round.
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The cow is round.[(triple3)] The cow likes the bear.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel is blue.[(triple6)] The squirrel likes the bear.[(triple7 OR ((triple5) -> rule2))] The squirrel likes the cow.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the cow.[(triple10 OR ((((triple6) -> rule5)) -> rule4))] @1: The squirrel is green.[(((triple6) -> rule5))] The squirrel needs the squirrel.[(((triple5 triple4) -> rule1))] @2: The cow eats the squirrel.[(((((triple5 triple4) -> rule1) triple10) -> rule6) OR ((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule6))]