The bald eagle is green. The bald eagle likes the cow. The bald eagle needs the cat. The bald eagle needs the cow. The cat is kind. The cat likes the bald eagle. The cat likes the cow. The cow chases the bald eagle. The cow is rough. The cow likes the bald eagle. The cow needs the bald eagle. The squirrel chases the cow. The squirrel is big. The squirrel is rough. The squirrel does not like the cow. If something is rough then it needs the cat. If something is rough then it needs the cat. If something likes the bald eagle then it chases the cat. If something needs the bald eagle and the bald eagle chases the cow then the bald eagle likes the cow. If something is rough and kind then it needs the cow. If something chases the cat then it is rough. If the bald eagle chases the cat and the cat chases the cow then the cat needs the cow. If something likes the cow and it is not rough then it is blue.
The cat is rough.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the cow.[(triple4)] The cat is kind.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is rough.[(triple9 OR ((((triple10) -> rule3)) -> rule6))] The cow likes the bald eagle.[(triple10)] The cow needs the bald eagle.[(triple11)] The squirrel chases the cow.[(triple12)] The squirrel does not like the cow.[(triple15)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] @1: The cat chases the cat.[(((triple6) -> rule3))] The cow chases the cat.[(((triple10) -> rule3))] The cow needs the cat.[(((triple9) -> rule1) OR ((triple9) -> rule2) OR ((((((triple10) -> rule3)) -> rule6)) -> rule1) OR ((((((triple10) -> rule3)) -> rule6)) -> rule2))] The squirrel needs the cat.[(((triple14) -> rule1) OR ((triple14) -> rule2))] @2: The cat is rough.[(((((triple6) -> rule3)) -> rule6))] @3: The cat needs the cat.[(((((((triple6) -> rule3)) -> rule6)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6)) -> rule2))] The cat needs the cow.[(((((((triple6) -> rule3)) -> rule6) triple5) -> rule5))]