The bald eagle eats the cow. The bald eagle is nice. The bald eagle sees the cat. The cat chases the cow. The cat eats the bald eagle. The cat is nice. The cat is round. The cow chases the bald eagle. The cow chases the rabbit. The cow is big. The rabbit eats the cow. If something is round then it sees the cow. If something sees the rabbit then the rabbit eats the cat. If something chases the cow and it eats the rabbit then it is big. If something eats the cat and it chases the bald eagle then the cat chases the bald eagle. If something sees the bald eagle then it eats the cat. If something sees the bald eagle and it is big then the bald eagle eats the cat. If something chases the bald eagle then it sees the bald eagle.
The cow chases the rabbit.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat chases the cow.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow chases the rabbit.[(triple9)] The cow is big.[(triple10)] The rabbit eats the cow.[(triple11)] @1: The cat sees the cow.[(((triple7) -> rule1))] The cow sees the bald eagle.[(((triple8) -> rule7))] @2: The bald eagle eats the cat.[(((((triple8) -> rule7) triple10) -> rule6))] The cow eats the cat.[(((((triple8) -> rule7)) -> rule5))] @3: The cat chases the bald eagle.[(((((((triple8) -> rule7)) -> rule5) triple8) -> rule4))] @4: The cat sees the bald eagle.[(((((((((triple8) -> rule7)) -> rule5) triple8) -> rule4)) -> rule7))] @5: The cat eats the cat.[(((((((((((triple8) -> rule7)) -> rule5) triple8) -> rule4)) -> rule7)) -> rule5))]