The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle is big. The bald eagle is kind. The bald eagle is young. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle visits the cat. The bald eagle visits the tiger. The cat chases the bald eagle. The cat visits the bald eagle. The tiger is blue. If something is young then it visits the tiger. If something visits the cat then the cat likes the tiger. If the bald eagle visits the tiger then the bald eagle visits the cat. If something likes the tiger and it visits the tiger then it is young. If something visits the tiger and it is young then the tiger visits the cat. If something chases the bald eagle then the bald eagle is blue. If something likes the cat then the cat is big. If something is red and it visits the bald eagle then it chases the bald eagle.
The bald eagle is kind.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is young.[(triple5 OR ((triple7 triple9) -> rule4))] The bald eagle likes the cat.[(triple6)] The bald eagle likes the tiger.[(triple7)] The bald eagle visits the cat.[(triple8 OR ((triple9) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The bald eagle visits the tiger.[(triple9 OR ((triple5) -> rule1))] The cat chases the bald eagle.[(triple10)] The cat visits the bald eagle.[(triple11)] The tiger is blue.[(triple12)] @1: The bald eagle is blue.[(((triple10) -> rule6))] The cat is big.[(((triple6) -> rule7))] The cat likes the tiger.[(((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((triple9 triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule1)) -> rule3)) -> rule2) OR ((((triple9 ((triple7 triple9) -> rule4)) -> rule5)) -> rule2) OR ((((((triple5) -> rule1) triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule1) ((triple7 triple9) -> rule4)) -> rule5)) -> rule2))] The tiger visits the cat.[(((triple9 triple5) -> rule5) OR ((triple9 ((triple7 triple9) -> rule4)) -> rule5) OR ((((triple5) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule1) ((triple7 triple9) -> rule4)) -> rule5))]