The bald eagle is big. The bald eagle is rough. The bald eagle sees the lion. The cat chases the lion. The cat is red. The cat is rough. The cat sees the bald eagle. The cow does not eat the bald eagle. The cow is not young. The lion eats the cow. The lion is rough. If something sees the bald eagle and the bald eagle chases the cat then it is red. If something is big and rough then it chases the cat. If something chases the cow and the cow chases the cat then it is rough. If something chases the cow then it eats the bald eagle. If something chases the cat then it sees the bald eagle. If something is red then it chases the cow. If something is round and it chases the lion then it does not eat the lion. If the cow chases the lion then the lion does not chase the bald eagle.
The bald eagle is not rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the lion.[(triple3)] The cat chases the lion.[(triple4)] The cat is red.[(triple5 OR ((triple7 ((triple1 triple2) -> rule2)) -> rule1))] The cat is rough.[(triple6)] The cat sees the bald eagle.[(triple7)] The cow does not eat the bald eagle.[(triple8)] The cow is not young.[(triple9)] The lion eats the cow.[(triple10)] The lion is rough.[(triple11)] @1: The bald eagle chases the cat.[(((triple1 triple2) -> rule2))] The cat chases the cow.[(((triple5) -> rule6) OR ((((triple7 ((triple1 triple2) -> rule2)) -> rule1)) -> rule6))] @2: The bald eagle sees the bald eagle.[(((((triple1 triple2) -> rule2)) -> rule5))] The cat eats the bald eagle.[(((((triple5) -> rule6)) -> rule4) OR ((((((triple7 ((triple1 triple2) -> rule2)) -> rule1)) -> rule6)) -> rule4))] @3: The bald eagle is red.[(((((((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1))] @4: The bald eagle chases the cow.[(((((((((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1)) -> rule6))] @5: The bald eagle eats the bald eagle.[(((((((((((triple1 triple2) -> rule2)) -> rule5) ((triple1 triple2) -> rule2)) -> rule1)) -> rule6)) -> rule4))]