The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is young. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle sees the cat. The cat is big. The cat is green. The cat is kind. The cat is red. The cat is young. The cat likes the bald eagle. The cat needs the bald eagle. The cat sees the bald eagle. If the cat likes the bald eagle then the cat sees the bald eagle. All big things are young. If something sees the bald eagle then it sees the cat. If something needs the bald eagle and the bald eagle sees the cat then the cat needs the bald eagle. If something sees the cat then it is young. If something is kind then it needs the cat.
The cat sees the cat.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is young.[(triple4 OR ((triple1) -> rule2) OR ((triple7) -> rule5))] The bald eagle likes the cat.[(triple5)] The bald eagle needs the cat.[(triple6 OR ((triple3) -> rule6))] The bald eagle sees the cat.[(triple7)] The cat is big.[(triple8)] The cat is green.[(triple9)] The cat is kind.[(triple10)] The cat is red.[(triple11)] The cat is young.[(triple12 OR ((triple8) -> rule2) OR ((((triple15) -> rule3)) -> rule5) OR ((((((triple13) -> rule1)) -> rule3)) -> rule5))] The cat likes the bald eagle.[(triple13)] The cat needs the bald eagle.[(triple14)] The cat sees the bald eagle.[(triple15 OR ((triple13) -> rule1))] @1: The cat needs the cat.[(((triple10) -> rule6))] The cat sees the cat.[(((triple15) -> rule3) OR ((((triple13) -> rule1)) -> rule3))]