The bald eagle is blue. The bald eagle is red. The bald eagle is rough. The bald eagle sees the cat. The cat is young. The cat needs the bald eagle. The cat needs the tiger. The cat sees the tiger. The cat visits the bald eagle. The tiger is cold. The tiger is red. The tiger needs the bald eagle. The tiger needs the cat. The tiger sees the bald eagle. The tiger visits the bald eagle. The tiger visits the cat. If someone needs the tiger then they are red. If the bald eagle is rough and the bald eagle sees the cat then the bald eagle needs the tiger. If someone visits the tiger then they visit the bald eagle. If someone is rough then they visit the tiger. If someone is red and they visit the tiger then they need the bald eagle. If someone visits the bald eagle then they need the cat.
The cat is not red.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2 OR ((((triple3 triple4) -> rule2)) -> rule1))] The bald eagle is rough.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat is young.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat needs the tiger.[(triple7)] The cat sees the tiger.[(triple8)] The cat visits the bald eagle.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger needs the bald eagle.[(triple12)] The tiger needs the cat.[(triple13 OR ((triple15) -> rule6))] The tiger sees the bald eagle.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the cat.[(triple16)] @1: The bald eagle needs the tiger.[(((triple3 triple4) -> rule2))] The bald eagle visits the tiger.[(((triple3) -> rule4))] The cat is red.[(((triple7) -> rule1))] The cat needs the cat.[(((triple9) -> rule6))] @2: The bald eagle needs the bald eagle.[(((triple2 ((triple3) -> rule4)) -> rule5) OR ((((((triple3 triple4) -> rule2)) -> rule1) ((triple3) -> rule4)) -> rule5))] The bald eagle visits the bald eagle.[(((((triple3) -> rule4)) -> rule3))] @3: The bald eagle needs the cat.[(((((((triple3) -> rule4)) -> rule3)) -> rule6))]