The bear is not young. The rabbit likes the bear. The squirrel likes the rabbit. The tiger visits the rabbit. If the tiger sees the rabbit then the rabbit sees the bear. If something likes the bear then the bear is rough. If something visits the rabbit then it likes the bear. If the bear sees the tiger and the bear is not nice then the bear does not like the rabbit. If the bear likes the squirrel then the bear visits the squirrel. If something sees the rabbit and the rabbit does not see the bear then the rabbit is cold.
The squirrel does not like the rabbit.
@0: The bear is not young.[(triple1)] The rabbit likes the bear.[(triple2)] The squirrel likes the rabbit.[(triple3)] The tiger visits the rabbit.[(triple4)] @1: The bear is rough.[(((triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] The tiger likes the bear.[(((triple4) -> rule3))]