The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is red. The cat chases the squirrel. The cat is rough. The cat likes the bald eagle. The dog chases the bald eagle. The dog is cold. The dog is red. The dog is rough. The dog likes the bald eagle. The dog needs the bald eagle. The squirrel chases the dog. The squirrel likes the dog. The squirrel needs the bald eagle. If someone needs the squirrel and they chase the bald eagle then the squirrel likes the bald eagle. All cold people are kind. If someone likes the dog then they are red. If someone is big then they like the dog. If someone likes the squirrel then the squirrel is big. If someone likes the squirrel then they need the squirrel. If someone is cold and kind then they are big. If someone chases the bald eagle then they are rough.
The dog is not big.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is red.[(triple3)] The cat chases the squirrel.[(triple4)] The cat is rough.[(triple5)] The cat likes the bald eagle.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is cold.[(triple8)] The dog is red.[(triple9 OR ((((((triple8 ((triple8) -> rule2)) -> rule7)) -> rule4)) -> rule3))] The dog is rough.[(triple10 OR ((triple7) -> rule8))] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12)] The squirrel chases the dog.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel needs the bald eagle.[(triple15)] @1: The dog is kind.[(((triple8) -> rule2))] The squirrel is red.[(((triple14) -> rule3))] @2: The dog is big.[(((triple8 ((triple8) -> rule2)) -> rule7))] @3: The dog likes the dog.[(((((triple8 ((triple8) -> rule2)) -> rule7)) -> rule4))]