The bald eagle is cold. The bald eagle is round. The bald eagle sees the rabbit. The bald eagle visits the cat. The bald eagle visits the rabbit. The cat is cold. The cat sees the bald eagle. The cat sees the rabbit. The cat does not visit the bald eagle. The mouse likes the bald eagle. The mouse does not like the cat. The mouse does not see the cat. The mouse visits the cat. The mouse visits the rabbit. The rabbit likes the mouse. The rabbit sees the cat. If something is cold then it sees the rabbit. If something visits the mouse then it does not like the rabbit. If something visits the rabbit then the rabbit visits the cat. If something sees the cat and the cat is young then the cat is round. If the rabbit visits the cat then the rabbit is round. All round things are kind.
The rabbit does not see the rabbit.
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the rabbit.[(triple3 OR ((triple1) -> rule1))] The bald eagle visits the cat.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The cat does not visit the bald eagle.[(triple9)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the rabbit.[(triple8 OR ((triple6) -> rule1))] The mouse does not like the cat.[(triple11)] The mouse does not see the cat.[(triple12)] The mouse likes the bald eagle.[(triple10)] The mouse visits the cat.[(triple13)] The mouse visits the rabbit.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bald eagle is kind.[(((triple2) -> rule6))] The rabbit visits the cat.[(((triple14) -> rule3) OR ((triple5) -> rule3))] @2: The rabbit is round.[(((((triple14) -> rule3)) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] @3: The rabbit is kind.[(((((((triple14) -> rule3)) -> rule5)) -> rule6) OR ((((((triple5) -> rule3)) -> rule5)) -> rule6))]