The bald eagle is rough. The bear eats the dog. The bear is big. The bear needs the dog. The bear sees the cat. The bear sees the dog. The cat eats the dog. The dog is nice. The dog is rough. The dog needs the bear. The dog needs the cat. The dog sees the bald eagle. If something eats the bear then the bear eats the bald eagle. If something needs the cat then the cat eats the bald eagle. If something sees the cat and the cat is green then the cat eats the bear. If something eats the bear and it eats the dog then the bear is rough. If something eats the bald eagle then it is green.
The cat is not green.
@0: The bald eagle is rough.[(triple1)] The bear eats the dog.[(triple2)] The bear is big.[(triple3)] The bear needs the dog.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the dog.[(triple6)] The cat eats the dog.[(triple7)] The dog is nice.[(triple8)] The dog is rough.[(triple9)] The dog needs the bear.[(triple10)] The dog needs the cat.[(triple11)] The dog sees the bald eagle.[(triple12)] @1: The cat eats the bald eagle.[(((triple11) -> rule2))] @2: The cat is green.[(((((triple11) -> rule2)) -> rule5))] @3: The cat eats the bear.[(((triple5 ((((triple11) -> rule2)) -> rule5)) -> rule3))] @4: The bear eats the bald eagle.[(((((triple5 ((((triple11) -> rule2)) -> rule5)) -> rule3)) -> rule1))] The bear is rough.[(((((triple5 ((((triple11) -> rule2)) -> rule5)) -> rule3) triple7) -> rule4))] @5: The bear is green.[(((((((triple5 ((((triple11) -> rule2)) -> rule5)) -> rule3)) -> rule1)) -> rule5))]