The bear chases the dog. The bear is big. The bear is rough. The bear sees the tiger. The dog chases the bear. The dog chases the rabbit. The dog is big. The dog is blue. The rabbit is red. The tiger chases the dog. If the rabbit visits the dog then the dog is red. If the dog chases the tiger and the dog is big then the tiger does not see the bear. If the tiger sees the rabbit then the rabbit does not chase the dog. If someone is young then they visit the dog. Red people are young. If someone is rough then they chase the bear.
The dog chases the rabbit.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is rough.[(triple3)] The bear sees the tiger.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the rabbit.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The rabbit is red.[(triple9)] The tiger chases the dog.[(triple10)] @1: The bear chases the bear.[(((triple3) -> rule6))] The rabbit is young.[(((triple9) -> rule5))] @2: The rabbit visits the dog.[(((((triple9) -> rule5)) -> rule4))] @3: The dog is red.[(((((((triple9) -> rule5)) -> rule4)) -> rule1))] @4: The dog is young.[(((((((((triple9) -> rule5)) -> rule4)) -> rule1)) -> rule5))] @5: The dog visits the dog.[(((((((((((triple9) -> rule5)) -> rule4)) -> rule1)) -> rule5)) -> rule4))]