The bald eagle likes the squirrel. The bald eagle needs the cat. The cat eats the squirrel. The cat is young. The cat likes the cow. The cat likes the squirrel. The cow eats the cat. The cow is blue. The cow is round. The cow is young. The cow likes the squirrel. The cow needs the bald eagle. The cow needs the squirrel. The squirrel eats the bald eagle. The squirrel is rough. The squirrel needs the cat. If someone likes the cat then they are cold. If someone likes the cat and they are rough then the cat likes the squirrel. If someone is rough then they like the cat. If someone eats the bald eagle and they are cold then the bald eagle is rough. If someone is cold and they eat the cow then the cow likes the cat.
The bald eagle is blue.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is young.[(triple4)] The cat likes the cow.[(triple5)] The cat likes the squirrel.[(triple6 OR ((((triple15) -> rule3) triple15) -> rule2) OR ((((((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule4)) -> rule3) ((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule4)) -> rule2))] The cow eats the cat.[(triple7)] The cow is blue.[(triple8)] The cow is round.[(triple9)] The cow is young.[(triple10)] The cow likes the squirrel.[(triple11)] The cow needs the bald eagle.[(triple12)] The cow needs the squirrel.[(triple13)] The squirrel eats the bald eagle.[(triple14)] The squirrel is rough.[(triple15)] The squirrel needs the cat.[(triple16)] @1: The squirrel likes the cat.[(((triple15) -> rule3))] @2: The squirrel is cold.[(((((triple15) -> rule3)) -> rule1))] @3: The bald eagle is rough.[(((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule4))] @4: The bald eagle likes the cat.[(((((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule4)) -> rule3))] @5: The bald eagle is cold.[(((((((triple14 ((((triple15) -> rule3)) -> rule1)) -> rule4)) -> rule3)) -> rule1))]