The bear is blue. The cat eats the cow. The cat is red. The cat is round. The cat does not need the cow. The cat does not need the dog. The cow is not round. The dog chases the bear. The dog chases the cat. The dog is round. If the bear is not green then the bear eats the cat. If the dog needs the cat then the dog chases the bear. If the cow needs the bear then the cow is green. If the dog chases the cow then the dog needs the bear. Red things are nice. If something is green then it needs the cow. If something is nice then it eats the bear. If something is nice and it eats the bear then the bear is red. If something eats the dog and it is not red then the dog does not need the cow.
The bear is nice.
@0: The bear is blue.[(triple1)] The cat does not need the cow.[(triple5)] The cat does not need the dog.[(triple6)] The cat eats the cow.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cow is not round.[(triple7)] The dog chases the bear.[(triple8)] The dog chases the cat.[(triple9)] The dog is round.[(triple10)] @1: The cat is nice.[(((triple3) -> rule5))] @2: The cat eats the bear.[(((((triple3) -> rule5)) -> rule7))] @3: The bear is red.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule8))] @4: The bear is nice.[(((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule8)) -> rule5))] @5: The bear eats the bear.[(((((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule7)) -> rule8)) -> rule5)) -> rule7))]