Fiona is blue. Gary is green. Harry is quiet. All white things are nice. All blue things are white. If Harry is nice and Harry is blue then Harry is young. All big things are green. If Fiona is white then Fiona is big. If something is green and big then it is white. All blue, white things are quiet. All quiet, nice things are green.
Gary is big.
@0: Fiona is blue.[(triple1)] Gary is green.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is white.[(((triple1) -> rule2))] @2: Fiona is big.[(((((triple1) -> rule2)) -> rule5))] Fiona is nice.[(((((triple1) -> rule2)) -> rule1))] Fiona is quiet.[(((triple1 ((triple1) -> rule2)) -> rule7))] @3: Fiona is green.[(((((((triple1) -> rule2)) -> rule5)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2)) -> rule1)) -> rule8))]