The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is blue. The bald eagle is red. The bald eagle sees the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is blue. The cat is green. The cat is red. The cat is round. The cat sees the bald eagle. If something chases the cat then it is green. If something is round and it eats the cat then it sees the cat. If something is round and it sees the cat then it is young. If something chases the bald eagle and the bald eagle sees the cat then the bald eagle eats the cat. If something is green and it chases the bald eagle then it eats the cat. If something is blue then it chases the cat. If something chases the bald eagle and the bald eagle eats the cat then the bald eagle sees the cat. If something is round and it eats the bald eagle then it is red.
The cat is blue.
@0: The bald eagle chases the cat.[(triple1 OR ((triple3) -> rule6))] The bald eagle eats the cat.[(triple2 OR ((triple6 triple5) -> rule4))] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the cat.[(triple5 OR ((triple6 triple2) -> rule7))] The cat chases the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is blue.[(triple8)] The cat is green.[(triple9 OR ((((triple8) -> rule6)) -> rule1))] The cat is red.[(triple10 OR ((triple11 triple7) -> rule8))] The cat is round.[(triple11)] The cat sees the bald eagle.[(triple12)] @1: The bald eagle is green.[(((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] The cat chases the cat.[(((triple8) -> rule6))] The cat eats the cat.[(((triple9 triple6) -> rule5) OR ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5))] @2: The cat sees the cat.[(((triple11 ((triple9 triple6) -> rule5)) -> rule2) OR ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2))] @3: The cat is young.[(((triple11 ((triple11 ((triple9 triple6) -> rule5)) -> rule2)) -> rule3) OR ((triple11 ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2)) -> rule3))]