The bald eagle is big. The bald eagle is nice. The bald eagle needs the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is blue. The cat is cold. The cat is green. The cat is nice. The cat needs the bald eagle. The cat sees the bald eagle. The cat visits the bald eagle. If someone visits the bald eagle and the bald eagle needs the cat then the cat sees the bald eagle. If someone is cold then they visit the bald eagle. If someone visits the cat then they visit the bald eagle. If someone needs the cat and the cat is blue then the cat visits the bald eagle. If someone is nice then they need the bald eagle. Blue people are green.
The bald eagle is nice.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The cat is blue.[(triple6)] The cat is cold.[(triple7)] The cat is green.[(triple8 OR ((triple6) -> rule6))] The cat is nice.[(triple9)] The cat needs the bald eagle.[(triple10 OR ((triple9) -> rule5))] The cat sees the bald eagle.[(triple11 OR ((triple12 triple3) -> rule1) OR ((((triple5) -> rule3) triple3) -> rule1) OR ((((triple7) -> rule2) triple3) -> rule1) OR ((((triple3 triple6) -> rule4) triple3) -> rule1))] The cat visits the bald eagle.[(triple12 OR ((triple7) -> rule2) OR ((triple3 triple6) -> rule4))] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule5))] The bald eagle visits the bald eagle.[(((triple5) -> rule3))]