Bob is blue. Fiona is big. Gary is big. Harry is young. If something is green and quiet then it is young. If something is smart then it is white. If something is blue then it is green. All big things are quiet. All young, smart things are blue. All green, white things are big. All young things are blue. If Harry is young then Harry is blue.
Gary is not big.
@0: Bob is blue.[(triple1)] Fiona is big.[(triple2)] Gary is big.[(triple3)] Harry is young.[(triple4)] @1: Bob is green.[(((triple1) -> rule3))] Fiona is quiet.[(((triple2) -> rule4))] Gary is quiet.[(((triple3) -> rule4))] Harry is blue.[(((triple4) -> rule7) OR ((triple4) -> rule8))] @2: Harry is green.[(((((triple4) -> rule7)) -> rule3) OR ((((triple4) -> rule8)) -> rule3))]