The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is big. The bald eagle is rough. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the bald eagle. The cat is big. The cat is cold. The cat is nice. The cow eats the cat. The cow is green. The cow is nice. The cow sees the cat. If something chases the bald eagle and it is cold then it chases the cow. If something is green and big then it sees the bald eagle. If something is nice then it is green. If something sees the cow then it is nice. If the cat chases the cow and the cow eats the cat then the cow is nice. If something sees the bald eagle then the bald eagle eats the cow.
The bald eagle does not see the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle eats the cow.[(triple3 OR ((((((triple11) -> rule3) triple9) -> rule2)) -> rule6) OR ((((((((triple7) -> rule4)) -> rule3) triple4) -> rule2)) -> rule6))] The bald eagle is big.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle sees the cat.[(triple6)] The bald eagle sees the cow.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat is big.[(triple9)] The cat is cold.[(triple10)] The cat is nice.[(triple11)] The cow eats the cat.[(triple12)] The cow is green.[(triple13 OR ((triple14) -> rule3))] The cow is nice.[(triple14)] The cow sees the cat.[(triple15)] @1: The bald eagle is nice.[(((triple7) -> rule4))] The cat is green.[(((triple11) -> rule3))] @2: The bald eagle is green.[(((((triple7) -> rule4)) -> rule3))] The cat sees the bald eagle.[(((((triple11) -> rule3) triple9) -> rule2))] @3: The bald eagle sees the bald eagle.[(((((((triple7) -> rule4)) -> rule3) triple4) -> rule2))]