The bear is blue. The bear is rough. The bear sees the rabbit. The bear visits the dog. The bear visits the rabbit. The dog is blue. The dog is green. The dog is rough. The dog is round. The dog needs the bear. The dog sees the bear. The dog sees the rabbit. The dog visits the bear. The dog visits the rabbit. The rabbit is young. The rabbit needs the bear. If something is blue then it sees the rabbit. If something sees the bear then it is rough. If something sees the rabbit then the rabbit sees the bear. If the rabbit sees the dog and the dog is young then the rabbit needs the bear. If something is blue then it sees the dog. If something sees the dog then the dog is round.
The rabbit visits the dog.
@0: The bear is blue.[(triple1)] The bear is rough.[(triple2)] The bear sees the rabbit.[(triple3 OR ((triple1) -> rule1))] The bear visits the dog.[(triple4)] The bear visits the rabbit.[(triple5)] The dog is blue.[(triple6)] The dog is green.[(triple7)] The dog is rough.[(triple8 OR ((triple11) -> rule2))] The dog is round.[(triple9 OR ((((triple1) -> rule5)) -> rule6) OR ((((triple6) -> rule5)) -> rule6))] The dog needs the bear.[(triple10)] The dog sees the bear.[(triple11)] The dog sees the rabbit.[(triple12 OR ((triple6) -> rule1))] The dog visits the bear.[(triple13)] The dog visits the rabbit.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The bear sees the dog.[(((triple1) -> rule5))] The dog sees the dog.[(((triple6) -> rule5))] The rabbit sees the bear.[(((triple12) -> rule3) OR ((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] @2: The rabbit is rough.[(((((triple12) -> rule3)) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple1) -> rule1)) -> rule3)) -> rule2) OR ((((((triple6) -> rule1)) -> rule3)) -> rule2))]