The bald eagle chases the cat. The bald eagle is big. The bald eagle is cold. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cat. The bald eagle needs the cat. The cat chases the bald eagle. The cat is big. The cat is cold. The cat is red. The cat is rough. The cat is young. The cat likes the bald eagle. The cat needs the bald eagle. If something is young and it chases the bald eagle then it needs the cat. If the bald eagle chases the cat then the bald eagle likes the cat. If something needs the bald eagle then the bald eagle needs the cat. If something is rough and it needs the bald eagle then it chases the bald eagle. If something is big and it chases the bald eagle then it is young. If something is cold then it needs the cat. If something likes the cat and it needs the cat then it needs the bald eagle. If something likes the cat and it is big then it is red.
The cat is not young.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is red.[(triple4 OR ((triple6 triple2) -> rule8) OR ((((triple1) -> rule2) triple2) -> rule8))] The bald eagle is rough.[(triple5)] The bald eagle likes the cat.[(triple6 OR ((triple1) -> rule2))] The bald eagle needs the cat.[(triple7 OR ((triple15) -> rule3) OR ((triple3) -> rule6))] The cat chases the bald eagle.[(triple8 OR ((triple12 triple15) -> rule4))] The cat is big.[(triple9)] The cat is cold.[(triple10)] The cat is red.[(triple11)] The cat is rough.[(triple12)] The cat is young.[(triple13 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple12 triple15) -> rule4)) -> rule5))] The cat likes the bald eagle.[(triple14)] The cat needs the bald eagle.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple6 triple7) -> rule7) OR ((triple6 ((triple15) -> rule3)) -> rule7) OR ((triple6 ((triple3) -> rule6)) -> rule7) OR ((((triple1) -> rule2) triple7) -> rule7) OR ((((triple1) -> rule2) ((triple15) -> rule3)) -> rule7) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule7))] The cat needs the cat.[(((triple10) -> rule6) OR ((triple13 triple8) -> rule1) OR ((triple13 ((triple12 triple15) -> rule4)) -> rule1) OR ((((triple9 triple8) -> rule5) triple8) -> rule1) OR ((((triple9 triple8) -> rule5) ((triple12 triple15) -> rule4)) -> rule1) OR ((((triple9 ((triple12 triple15) -> rule4)) -> rule5) triple8) -> rule1) OR ((((triple9 ((triple12 triple15) -> rule4)) -> rule5) ((triple12 triple15) -> rule4)) -> rule1))] @2: The bald eagle chases the bald eagle.[(((triple5 ((triple6 triple7) -> rule7)) -> rule4) OR ((triple5 ((triple6 ((triple15) -> rule3)) -> rule7)) -> rule4) OR ((triple5 ((triple6 ((triple3) -> rule6)) -> rule7)) -> rule4) OR ((triple5 ((((triple1) -> rule2) triple7) -> rule7)) -> rule4) OR ((triple5 ((((triple1) -> rule2) ((triple15) -> rule3)) -> rule7)) -> rule4) OR ((triple5 ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule4))] @3: The bald eagle is young.[(((triple2 ((triple5 ((triple6 triple7) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((triple6 ((triple15) -> rule3)) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((triple6 ((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((((triple1) -> rule2) triple7) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((((triple1) -> rule2) ((triple15) -> rule3)) -> rule7)) -> rule4)) -> rule5) OR ((triple2 ((triple5 ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule7)) -> rule4)) -> rule5))]