The bear chases the dog. The bear chases the tiger. The bear is green. The bear is nice. The dog chases the tiger. The dog eats the tiger. The dog is green. The lion eats the tiger. The lion is round. The tiger chases the bear. If something is green and it eats the lion then the lion is green. If something visits the lion and the lion visits the tiger then the tiger chases the dog. If the bear chases the lion and the lion is nice then the bear is kind. If something is nice then it eats the tiger. If something chases the bear and it visits the bear then it is round. All kind things are rough. If something eats the tiger and the tiger chases the dog then it is green. If something eats the tiger and it chases the dog then the tiger chases the dog.
The dog is rough.
@0: The bear chases the dog.[(triple1)] The bear chases the tiger.[(triple2)] The bear is green.[(triple3 OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple1) -> rule8)) -> rule7))] The bear is nice.[(triple4)] The dog chases the tiger.[(triple5)] The dog eats the tiger.[(triple6)] The dog is green.[(triple7 OR ((triple6 ((((triple4) -> rule4) triple1) -> rule8)) -> rule7))] The lion eats the tiger.[(triple8)] The lion is round.[(triple9)] The tiger chases the bear.[(triple10)] @1: The bear eats the tiger.[(((triple4) -> rule4))] @2: The tiger chases the dog.[(((((triple4) -> rule4) triple1) -> rule8))] @3: The lion is green.[(((triple8 ((((triple4) -> rule4) triple1) -> rule8)) -> rule7))]