Charlie is young. Fiona is big. Gary is rough. Harry is red. If something is big then it is quiet. Rough, young things are big. If something is quiet then it is rough. Quiet things are young. All quiet, rough things are blue. If Harry is red and Harry is round then Harry is young. If Fiona is young then Fiona is blue. Big, rough things are round.
Fiona is quiet.
@0: Charlie is young.[(triple1)] Fiona is big.[(triple2)] Gary is rough.[(triple3)] Harry is red.[(triple4)] @1: Fiona is quiet.[(((triple2) -> rule1))] @2: Fiona is rough.[(((((triple2) -> rule1)) -> rule3))] Fiona is young.[(((((triple2) -> rule1)) -> rule4))] @3: Fiona is blue.[(((((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule5))] Fiona is round.[(((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule8))]