The bald eagle is rough. The cat eats the cow. The cat is red. The cat is young. The cat sees the bald eagle. The cat does not see the cow. The cat visits the bald eagle. The cow eats the bald eagle. The cow eats the cat. The cow is not big. The cow is young. The cow visits the cat. If someone visits the cow and the cow is young then the cow is rough. If someone sees the cat and the cat visits the cow then the cow is rough. If someone is big then they eat the cat. If someone sees the bald eagle then they visit the cow. If someone visits the cow then they see the bald eagle. If someone visits the bald eagle then they see the bald eagle. If someone is rough then they see the bald eagle. If someone eats the cow and they see the bald eagle then they visit the bald eagle.
The bald eagle visits the bald eagle.
@0: The bald eagle is rough.[(triple1)] The cat does not see the cow.[(triple6)] The cat eats the cow.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat sees the bald eagle.[(triple5 OR ((triple7) -> rule6))] The cat visits the bald eagle.[(triple7 OR ((triple2 triple5) -> rule8))] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The cow is not big.[(triple10)] The cow is young.[(triple11)] The cow visits the cat.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule7))] The cat visits the cow.[(((triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] @2: The bald eagle visits the cow.[(((((triple1) -> rule7)) -> rule4))] The cow is rough.[(((((triple5) -> rule4) triple11) -> rule1) OR ((((((triple1) -> rule7)) -> rule4) triple11) -> rule1) OR ((((((triple7) -> rule6)) -> rule4) triple11) -> rule1))] @3: The cow sees the bald eagle.[(((((((triple5) -> rule4) triple11) -> rule1)) -> rule7) OR ((((((((triple1) -> rule7)) -> rule4) triple11) -> rule1)) -> rule7) OR ((((((((triple7) -> rule6)) -> rule4) triple11) -> rule1)) -> rule7))] @4: The cow visits the cow.[(((((((((triple5) -> rule4) triple11) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple1) -> rule7)) -> rule4) triple11) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple7) -> rule6)) -> rule4) triple11) -> rule1)) -> rule7)) -> rule4))]