The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bear eats the cow. The bear is not young. The bear likes the bald eagle. The bear sees the cow. The bear sees the mouse. The cow eats the bald eagle. The cow does not eat the mouse. The cow is not red. The cow is rough. The cow is young. The cow sees the bear. The mouse is not kind. If the bear likes the cow then the cow eats the bear. If something eats the bear then it does not like the cow. If something likes the bald eagle and the bald eagle is kind then it likes the cow. If something is red and it does not see the cow then it likes the cow. Kind things are blue. If something sees the cow and the cow sees the bald eagle then the bald eagle is red. If the bald eagle is young then the bald eagle eats the bear. If the bald eagle does not eat the cow and the cow is not kind then the bald eagle likes the cow.
The bald eagle is blue.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bear eats the cow.[(triple4)] The bear is not young.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the mouse.[(triple8)] The cow does not eat the mouse.[(triple10)] The cow eats the bald eagle.[(triple9)] The cow is not red.[(triple11)] The cow is rough.[(triple12)] The cow is young.[(triple13)] The cow sees the bear.[(triple14)] The mouse is not kind.[(triple15)] @1: The bald eagle eats the bear.[(((triple3) -> rule7))] The bald eagle is blue.[(((triple1) -> rule5))] The bear likes the cow.[(((triple6 triple1) -> rule3))] @2: The bald eagle does not like the cow.[(((((triple3) -> rule7)) -> rule2))] The cow eats the bear.[(((((triple6 triple1) -> rule3)) -> rule1))] @3: The cow does not like the cow.[(((((((triple6 triple1) -> rule3)) -> rule1)) -> rule2))]