The bear needs the cow. The bear sees the cat. The cat chases the dog. The cat is rough. The cow is not red. The cow needs the cat. The dog does not need the cat. If something is rough and it needs the dog then the dog is blue. If something sees the cat then it is big. If the dog is big then the dog sees the bear. If the cow needs the dog then the dog is red. If something needs the dog then it is rough. If something needs the cat then it needs the dog. If something sees the cow then it chases the cow. If something chases the dog then the dog does not need the bear.
The dog is red.
@0: The bear needs the cow.[(triple1)] The bear sees the cat.[(triple2)] The cat chases the dog.[(triple3)] The cat is rough.[(triple4)] The cow is not red.[(triple5)] The cow needs the cat.[(triple6)] The dog does not need the cat.[(triple7)] @1: The bear is big.[(((triple2) -> rule2))] The cow needs the dog.[(((triple6) -> rule6))] The dog does not need the bear.[(((triple3) -> rule8))] @2: The cow is rough.[(((((triple6) -> rule6)) -> rule5))] The dog is red.[(((((triple6) -> rule6)) -> rule4))] @3: The dog is blue.[(((((((triple6) -> rule6)) -> rule5) ((triple6) -> rule6)) -> rule1))]