The bald eagle is big. The bald eagle is nice. The bald eagle is round. The bald eagle likes the cat. The bald eagle visits the bear. The bear is red. The bear likes the cat. The bear visits the cat. The cat chases the bald eagle. The cat chases the bear. The cat is big. The cat is blue. The cat is round. The cat likes the bald eagle. The cat visits the bald eagle. Big people are blue. If someone likes the bear then the bear likes the bald eagle. If the cat is round then the cat chases the bear. If someone is round then they like the bear. If someone chases the cat then they like the cat. If someone is red then they chase the bear.
The bald eagle does not chase the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle visits the bear.[(triple5)] The bear is red.[(triple6)] The bear likes the cat.[(triple7)] The bear visits the cat.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat chases the bear.[(triple10 OR ((triple13) -> rule3))] The cat is big.[(triple11)] The cat is blue.[(triple12 OR ((triple11) -> rule1))] The cat is round.[(triple13)] The cat likes the bald eagle.[(triple14)] The cat visits the bald eagle.[(triple15)] @1: The bald eagle is blue.[(((triple1) -> rule1))] The bald eagle likes the bear.[(((triple3) -> rule4))] The bear chases the bear.[(((triple6) -> rule6))] The cat likes the bear.[(((triple13) -> rule4))] @2: The bear likes the bald eagle.[(((((triple13) -> rule4)) -> rule2) OR ((((triple3) -> rule4)) -> rule2))]