Fiona is nice. Gary is quiet. Harry is green. All nice things are rough. If something is kind and blue then it is green. If something is green and quiet then it is kind. If something is blue then it is quiet. If something is green and blue then it is kind. Green things are nice.
Gary is not nice.
@0: Fiona is nice.[(triple1)] Gary is quiet.[(triple2)] Harry is green.[(triple3)] @1: Fiona is rough.[(((triple1) -> rule1))] Harry is nice.[(((triple3) -> rule6))] @2: Harry is rough.[(((((triple3) -> rule6)) -> rule1))]