The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. The bald eagle sees the cow. The bald eagle sees the rabbit. The bald eagle visits the cow. The cow chases the rabbit. The cow is green. The cow sees the rabbit. The rabbit chases the cow. The rabbit is rough. The rabbit is young. The rabbit sees the cow. The rabbit visits the cow. Kind things are cold. If the rabbit does not see the cow then the rabbit is not young. If something sees the bald eagle then the bald eagle is not green. If something is rough and it chases the rabbit then it is kind. If something chases the rabbit then it is rough. If something chases the rabbit and the rabbit is not rough then it is green.
The cow visits the cow.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple4 triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule5) triple1) -> rule4)) -> rule1))] The bald eagle is kind.[(triple3 OR ((triple4 triple1) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4))] The bald eagle is rough.[(triple4 OR ((triple1) -> rule5))] The bald eagle is young.[(triple5)] The bald eagle sees the cow.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow chases the rabbit.[(triple9)] The cow is green.[(triple10)] The cow sees the rabbit.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit is rough.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The cow is rough.[(((triple9) -> rule5))] @2: The cow is kind.[(((((triple9) -> rule5) triple9) -> rule4))] @3: The cow is cold.[(((((((triple9) -> rule5) triple9) -> rule4)) -> rule1))]