The bear is rough. The tiger eats the bear. If someone sees the bear then they do not eat the tiger. All kind people are not rough. If someone eats the tiger and they are not cold then they are not rough. If the bear is rough then the bear likes the tiger. If someone eats the bear then the bear likes the tiger. Kind people are nice. If someone is nice and blue then they see the bear. If the bear likes the tiger and the tiger eats the bear then the tiger sees the bear.
The tiger is not nice.
@0: The bear is rough.[(triple1)] The tiger eats the bear.[(triple2)] @1: The bear likes the tiger.[(((triple1) -> rule4) OR ((triple2) -> rule5))] @2: The tiger sees the bear.[(((((triple1) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule5) triple2) -> rule8))] @3: The tiger does not eat the tiger.[(((((((triple1) -> rule4) triple2) -> rule8)) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule8)) -> rule1))]