The bald eagle eats the cat. The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle needs the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is cold. The cat is young. The cat needs the bald eagle. The cat visits the bald eagle. If something is blue and it needs the cat then it is nice. If something needs the bald eagle then the bald eagle is cold.
The bald eagle visits the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple11) -> rule2))] The bald eagle is nice.[(triple4 OR ((triple2 triple6) -> rule1))] The bald eagle is red.[(triple5)] The bald eagle needs the cat.[(triple6)] The bald eagle visits the cat.[(triple7)] The cat eats the bald eagle.[(triple8)] The cat is cold.[(triple9)] The cat is young.[(triple10)] The cat needs the bald eagle.[(triple11)] The cat visits the bald eagle.[(triple12)]