Fiona is green. Gary is green. Harry is quiet. If someone is green and not quiet then they are not rough. All quiet people are rough. If someone is quiet and green then they are smart. Rough, red people are young. If someone is rough and not red then they are big. Rough people are big.
Fiona is not rough.
@0: Fiona is green.[(triple1)] Gary is green.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is rough.[(((triple3) -> rule2))] @2: Harry is big.[(((((triple3) -> rule2)) -> rule6))]