The bear does not see the rabbit. The bear visits the rabbit. The rabbit eats the bear. If someone visits the rabbit then they see the bear. If someone sees the bear then they are cold. If someone sees the bear then they are cold. Cold people are not rough. If someone is cold and they do not visit the rabbit then they do not visit the bear. If someone is young and they see the bear then they are not round. If someone eats the bear then they do not see the rabbit. Cold, round people are not young.
The rabbit eats the bear.
@0: The bear does not see the rabbit.[(triple1)] The bear visits the rabbit.[(triple2)] The rabbit eats the bear.[(triple3)] @1: The bear sees the bear.[(((triple2) -> rule1))] The rabbit does not see the rabbit.[(((triple3) -> rule7))] @2: The bear is cold.[(((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule1)) -> rule3))] @3: The bear is not rough.[(((((((triple2) -> rule1)) -> rule2)) -> rule4) OR ((((((triple2) -> rule1)) -> rule3)) -> rule4))]