The cat is not rough. The rabbit is nice. The squirrel is green. The tiger is nice. If someone is rough then they eat the squirrel. If someone is cold then they chase the squirrel. If the cat is young then the cat is rough. If someone eats the tiger then they see the tiger. If someone chases the rabbit then the rabbit chases the cat. If someone chases the tiger and they are not green then the tiger sees the cat. If the tiger eats the squirrel then the tiger sees the squirrel. All nice people are rough.
The rabbit is nice.
@0: The cat is not rough.[(triple1)] The rabbit is nice.[(triple2)] The squirrel is green.[(triple3)] The tiger is nice.[(triple4)] @1: The rabbit is rough.[(((triple2) -> rule8))] The tiger is rough.[(((triple4) -> rule8))] @2: The rabbit eats the squirrel.[(((((triple2) -> rule8)) -> rule1))] The tiger eats the squirrel.[(((((triple4) -> rule8)) -> rule1))] @3: The tiger sees the squirrel.[(((((((triple4) -> rule8)) -> rule1)) -> rule7))]