The bald eagle is big. The bald eagle is green. The bald eagle likes the squirrel. The bald eagle needs the cat. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cat is green. The cat is nice. The cat likes the bald eagle. The squirrel is green. The squirrel likes the bald eagle. The squirrel needs the cat. If something is rough then it is round. If the bald eagle is round and the bald eagle sees the cat then the cat likes the squirrel. If the bald eagle is nice and the bald eagle needs the squirrel then the squirrel is round. If something sees the squirrel then it is big. If something needs the squirrel then the squirrel is rough. If something is nice then it needs the squirrel. If something is nice then it sees the squirrel. If something is big then it sees the bald eagle.
The squirrel does not need the squirrel.
@0: The bald eagle is big.[(triple1 OR ((triple6) -> rule4))] The bald eagle is green.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The cat is green.[(triple7)] The cat is nice.[(triple8)] The cat likes the bald eagle.[(triple9)] The squirrel is green.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule8) OR ((((triple6) -> rule4)) -> rule8))] The cat needs the squirrel.[(((triple8) -> rule6))] The cat sees the squirrel.[(((triple8) -> rule7))] The squirrel is rough.[(((triple5) -> rule5) OR ((((triple8) -> rule6)) -> rule5))] @2: The cat is big.[(((((triple8) -> rule7)) -> rule4))] The squirrel is round.[(((((triple5) -> rule5)) -> rule1) OR ((((((triple8) -> rule6)) -> rule5)) -> rule1))] @3: The cat sees the bald eagle.[(((((((triple8) -> rule7)) -> rule4)) -> rule8))]