The bear chases the dog. The bear is blue. The bear is rough. The bear needs the dog. The bear sees the dog. The dog chases the bear. The dog is blue. The dog is red. The dog is rough. The dog sees the bear. If something sees the bear and it needs the bear then it sees the dog. If something is red then it needs the dog. If something sees the bear then it is blue. If the dog sees the bear and the dog needs the bear then the dog is big. If something needs the dog then it needs the bear. If something is rough then it chases the dog.
The bear chases the bear.
@0: The bear chases the dog.[(triple1 OR ((triple3) -> rule6))] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear needs the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog is blue.[(triple7 OR ((triple10) -> rule3))] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog sees the bear.[(triple10)] @1: The bear needs the bear.[(((triple4) -> rule5))] The dog chases the dog.[(((triple9) -> rule6))] The dog needs the dog.[(((triple8) -> rule2))] @2: The dog needs the bear.[(((((triple8) -> rule2)) -> rule5))] @3: The dog is big.[(((triple10 ((((triple8) -> rule2)) -> rule5)) -> rule4))] The dog sees the dog.[(((triple10 ((((triple8) -> rule2)) -> rule5)) -> rule1))]