The bear is kind. The cat is red. The dog visits the cat. The squirrel is green. If the bear visits the cat then the bear visits the squirrel. If the bear needs the dog then the bear sees the cat. If something needs the dog then the dog needs the cat. If the dog sees the cat then the cat needs the squirrel. If something visits the cat then it needs the dog. If something sees the bear then the bear needs the squirrel. If something sees the dog then it visits the dog. If the squirrel is green then the squirrel visits the cat.
The bear is not kind.
@0: The bear is kind.[(triple1)] The cat is red.[(triple2)] The dog visits the cat.[(triple3)] The squirrel is green.[(triple4)] @1: The dog needs the dog.[(((triple3) -> rule5))] The squirrel visits the cat.[(((triple4) -> rule8))] @2: The dog needs the cat.[(((((triple3) -> rule5)) -> rule3) OR ((((((triple4) -> rule8)) -> rule5)) -> rule3))] The squirrel needs the dog.[(((((triple4) -> rule8)) -> rule5))]