The bald eagle chases the cat. The bald eagle is blue. The bald eagle is not kind. The bald eagle sees the cat. The cat chases the mouse. The cat is young. The cat needs the bald eagle. The cat does not see the mouse. The cat sees the rabbit. The mouse needs the cat. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit chases the bald eagle. The rabbit needs the mouse. The rabbit sees the cat. The rabbit sees the mouse. If someone sees the cat then they are blue.
The bald eagle is not blue.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple4) -> rule1))] The bald eagle is not kind.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat chases the mouse.[(triple5)] The cat does not see the mouse.[(triple8)] The cat is young.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat sees the rabbit.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the rabbit.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The rabbit is blue.[(((triple15) -> rule1))]