The bear eats the dog. The bear is big. The bear is nice. The bear is red. The bear is rough. The bear sees the dog. The bear visits the dog. The dog eats the bear. The dog is nice. The dog sees the bear. If someone is young then they visit the dog. If someone is big then they see the bear. If the bear sees the dog and the bear is young then the dog sees the bear. If someone is red and young then they eat the bear. If someone sees the bear then they are young. If someone visits the bear and the bear is young then the bear eats the dog.
The bear is young.
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7 OR ((((((triple2) -> rule2)) -> rule5)) -> rule1))] The dog eats the bear.[(triple8)] The dog is nice.[(triple9)] The dog sees the bear.[(triple10 OR ((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3))] @1: The bear sees the bear.[(((triple2) -> rule2))] The dog is young.[(((triple10) -> rule5) OR ((((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule5))] @2: The bear is young.[(((((triple2) -> rule2)) -> rule5))] The dog visits the dog.[(((((triple10) -> rule5)) -> rule1) OR ((((((triple6 ((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule5)) -> rule1))] @3: The bear eats the bear.[(((triple4 ((((triple2) -> rule2)) -> rule5)) -> rule4))]