The squirrel needs the tiger. The tiger does not like the squirrel. The tiger sees the squirrel. If something likes the squirrel and it is green then it is rough. If something needs the tiger then it is nice. If something sees the squirrel and the squirrel is nice then it needs the tiger.
The tiger is not rough.
@0: The squirrel needs the tiger.[(triple1)] The tiger does not like the squirrel.[(triple2)] The tiger sees the squirrel.[(triple3)] @1: The squirrel is nice.[(((triple1) -> rule2))] @2: The tiger needs the tiger.[(((triple3 ((triple1) -> rule2)) -> rule3))] @3: The tiger is nice.[(((((triple3 ((triple1) -> rule2)) -> rule3)) -> rule2))]