The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle eats the cat. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is round. The bald eagle needs the cat. The bald eagle needs the lion. The cat chases the lion. The cat is green. The cat is kind. The cat is rough. The cat is round. The cat needs the lion. The lion needs the bald eagle. The lion needs the cat. If someone needs the bald eagle and the bald eagle chases the cat then the cat needs the bald eagle. If someone chases the cat then they chase the lion. If someone eats the cat and they are round then the cat is blue. Green people are blue. If someone needs the lion and the lion needs the bald eagle then the bald eagle is round. If the bald eagle needs the cat and the bald eagle eats the lion then the cat eats the lion.
The bald eagle is round.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2 OR ((triple1) -> rule2))] The bald eagle eats the cat.[(triple3)] The bald eagle eats the lion.[(triple4)] The bald eagle is blue.[(triple5)] The bald eagle is round.[(triple6 OR ((triple14 triple15) -> rule5) OR ((triple8 triple15) -> rule5))] The bald eagle needs the cat.[(triple7)] The bald eagle needs the lion.[(triple8)] The cat chases the lion.[(triple9)] The cat is green.[(triple10)] The cat is kind.[(triple11)] The cat is rough.[(triple12)] The cat is round.[(triple13)] The cat needs the lion.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion needs the cat.[(triple16)] @1: The cat eats the lion.[(((triple7 triple4) -> rule6))] The cat is blue.[(((triple10) -> rule4) OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple14 triple15) -> rule5)) -> rule3) OR ((triple3 ((triple8 triple15) -> rule5)) -> rule3))] The cat needs the bald eagle.[(((triple15 triple1) -> rule1))]