The bald eagle chases the squirrel. The bald eagle eats the dog. The bear eats the bald eagle. The bear eats the dog. The dog chases the bald eagle. The dog chases the bear. The dog chases the squirrel. The dog eats the squirrel. The dog is big. The dog is blue. The dog is green. The squirrel is green. If someone likes the squirrel then they chase the dog. If someone eats the bald eagle then they are red. If someone is green and they eat the bear then they like the squirrel. If someone eats the dog then the dog eats the bald eagle. If someone eats the bear then the bear is big. If someone eats the squirrel and they chase the bear then the bear chases the bald eagle. If someone is red and green then they eat the bear. If someone likes the bear and they eat the bear then the bear eats the bald eagle.
The bear is not big.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the dog.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the squirrel.[(triple7)] The dog eats the squirrel.[(triple8)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is green.[(triple11)] The squirrel is green.[(triple12)] @1: The bear chases the bald eagle.[(((triple8 triple6) -> rule6))] The bear is red.[(((triple3) -> rule2))] The dog eats the bald eagle.[(((triple2) -> rule4) OR ((triple4) -> rule4))] @2: The dog is red.[(((((triple2) -> rule4)) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] @3: The dog eats the bear.[(((((((triple2) -> rule4)) -> rule2) triple11) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) triple11) -> rule7))] @4: The bear is big.[(((((((((triple2) -> rule4)) -> rule2) triple11) -> rule7)) -> rule5) OR ((((((((triple4) -> rule4)) -> rule2) triple11) -> rule7)) -> rule5))] The dog likes the squirrel.[(((triple11 ((((((triple2) -> rule4)) -> rule2) triple11) -> rule7)) -> rule3) OR ((triple11 ((((((triple4) -> rule4)) -> rule2) triple11) -> rule7)) -> rule3))] @5: The dog chases the dog.[(((((triple11 ((((((triple2) -> rule4)) -> rule2) triple11) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((((((triple4) -> rule4)) -> rule2) triple11) -> rule7)) -> rule3)) -> rule1))]