The bear is rough. The bear visits the rabbit. The rabbit visits the bear. The tiger chases the bear. The tiger chases the rabbit. The tiger is cold. The tiger is young. The tiger needs the bear. The tiger visits the bear. The tiger visits the rabbit. If the rabbit chases the bear then the bear is young. If something is kind and it chases the rabbit then it chases the bear. If something visits the rabbit then the rabbit chases the bear. If the rabbit chases the tiger then the rabbit visits the bear. If something is rough then it chases the tiger. If something is young then it is kind. If something needs the bear and it is cold then it visits the tiger. If something chases the tiger then it is young.
The bear is not kind.
@0: The bear is rough.[(triple1)] The bear visits the rabbit.[(triple2)] The rabbit visits the bear.[(triple3)] The tiger chases the bear.[(triple4 OR ((((triple7) -> rule6) triple5) -> rule2))] The tiger chases the rabbit.[(triple5)] The tiger is cold.[(triple6)] The tiger is young.[(triple7)] The tiger needs the bear.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The bear chases the tiger.[(((triple1) -> rule5))] The rabbit chases the bear.[(((triple10) -> rule3) OR ((triple2) -> rule3))] The tiger is kind.[(((triple7) -> rule6))] The tiger visits the tiger.[(((triple8 triple6) -> rule7))] @2: The bear is young.[(((((triple1) -> rule5)) -> rule8) OR ((((triple10) -> rule3)) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] @3: The bear is kind.[(((((((triple1) -> rule5)) -> rule8)) -> rule6) OR ((((((triple10) -> rule3)) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1)) -> rule6))]