The bear eats the dog. The bear is nice. The bear needs the dog. The bear visits the dog. The dog is red. The dog is round. The dog visits the bear. If someone needs the bear and the bear eats the dog then they are rough. If someone needs the dog then they eat the bear. If someone needs the dog then the dog needs the bear. If the bear needs the dog and the bear is rough then the dog is red. If the bear visits the dog and the dog eats the bear then the bear is rough. If someone visits the dog then the dog needs the bear. If someone is red and they visit the bear then they need the dog. If someone eats the dog and they visit the bear then the bear eats the dog.
The dog is nice.
@0: The bear eats the dog.[(triple1)] The bear is nice.[(triple2)] The bear needs the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear eats the bear.[(((triple3) -> rule2))] The dog needs the bear.[(((triple3) -> rule3) OR ((triple4) -> rule6) OR ((((triple5 triple7) -> rule7)) -> rule3))] The dog needs the dog.[(((triple5 triple7) -> rule7))] @2: The dog eats the bear.[(((((triple5 triple7) -> rule7)) -> rule2))] The dog is rough.[(((((triple3) -> rule3) triple1) -> rule1) OR ((((triple4) -> rule6) triple1) -> rule1) OR ((((((triple5 triple7) -> rule7)) -> rule3) triple1) -> rule1))] @3: The bear is rough.[(((triple4 ((((triple5 triple7) -> rule7)) -> rule2)) -> rule5))]