The bald eagle is round. The bald eagle sees the cow. The bald eagle sees the rabbit. The cat is nice. The cat needs the cow. The cat needs the rabbit. The cat sees the bald eagle. The cat sees the cow. The cow is not round. The cow needs the cat. The cow sees the bald eagle. The cow sees the rabbit. The rabbit is cold. The rabbit likes the bald eagle. The rabbit needs the bald eagle. If someone needs the rabbit and they do not like the bald eagle then the rabbit is nice. If someone likes the cow then the cow sees the cat. If the cow is round then the cow sees the cat. If someone needs the bald eagle then the bald eagle sees the rabbit. If someone needs the bald eagle then the bald eagle is blue. If the cat is red and the bald eagle does not see the cat then the bald eagle is cold. If someone is blue then they like the cow. If someone sees the cow then the cow needs the cat.
The bald eagle does not like the cow.
@0: The bald eagle is round.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the rabbit.[(triple3 OR ((triple15) -> rule4))] The cat is nice.[(triple4)] The cat needs the cow.[(triple5)] The cat needs the rabbit.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the cow.[(triple8)] The cow is not round.[(triple9)] The cow needs the cat.[(triple10 OR ((triple2) -> rule8) OR ((triple8) -> rule8))] The cow sees the bald eagle.[(triple11)] The cow sees the rabbit.[(triple12)] The rabbit is cold.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The bald eagle is blue.[(((triple15) -> rule5))] @2: The bald eagle likes the cow.[(((((triple15) -> rule5)) -> rule7))] @3: The cow sees the cat.[(((((((triple15) -> rule5)) -> rule7)) -> rule2))]