The bear is red. The bear needs the dog. The bear sees the dog. The bear visits the dog. The bear visits the rabbit. The dog is red. The dog is rough. The dog needs the rabbit. The dog sees the rabbit. The rabbit does not see the dog. If someone sees the rabbit then they are rough. If someone visits the bear and the bear sees the rabbit then the rabbit needs the dog. If someone needs the dog and they need the bear then the bear is young. If someone is rough and they see the bear then the bear sees the rabbit. If someone sees the dog then the dog needs the bear. If someone is young then they see the rabbit. If someone is red then they need the bear. If someone needs the dog and the dog needs the rabbit then the dog visits the bear.
The bear is green.
@0: The bear is red.[(triple1)] The bear needs the dog.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the dog.[(triple4)] The bear visits the rabbit.[(triple5)] The dog is red.[(triple6)] The dog is rough.[(triple7 OR ((triple9) -> rule1))] The dog needs the rabbit.[(triple8)] The dog sees the rabbit.[(triple9)] The rabbit does not see the dog.[(triple10)] @1: The bear needs the bear.[(((triple1) -> rule7))] The dog needs the bear.[(((triple3) -> rule5) OR ((triple6) -> rule7))] The dog visits the bear.[(((triple2 triple8) -> rule8))] @2: The bear is young.[(((triple2 ((triple1) -> rule7)) -> rule3))] @3: The bear sees the rabbit.[(((((triple2 ((triple1) -> rule7)) -> rule3)) -> rule6))] @4: The bear is rough.[(((((((triple2 ((triple1) -> rule7)) -> rule3)) -> rule6)) -> rule1))] The rabbit needs the dog.[(((((triple2 triple8) -> rule8) ((((triple2 ((triple1) -> rule7)) -> rule3)) -> rule6)) -> rule2))]