The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is round. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The cat is big. The cat is blue. The cat is green. The cat is round. The cat is young. The cat likes the bald eagle. The cat sees the bald eagle. The cat visits the bald eagle. If the cat visits the bald eagle and the cat is big then the cat likes the bald eagle. If someone likes the cat then they see the cat. If someone is round and they see the bald eagle then the bald eagle visits the cat. If someone likes the bald eagle and the bald eagle likes the cat then they visit the bald eagle. If someone sees the cat then they visit the bald eagle. If someone visits the bald eagle then they see the cat.
The cat is big.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle sees the cat.[(triple6 OR ((triple5) -> rule2))] The bald eagle visits the cat.[(triple7 OR ((triple11 triple14) -> rule3))] The cat is big.[(triple8)] The cat is blue.[(triple9)] The cat is green.[(triple10)] The cat is round.[(triple11)] The cat is young.[(triple12)] The cat likes the bald eagle.[(triple13 OR ((triple15 triple8) -> rule1))] The cat sees the bald eagle.[(triple14)] The cat visits the bald eagle.[(triple15 OR ((triple13 triple5) -> rule4))] @1: The bald eagle visits the bald eagle.[(((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5))] The cat sees the cat.[(((triple15) -> rule6) OR ((((triple13 triple5) -> rule4)) -> rule6))]