Dave is not quiet. Dave is round. Fiona is green. Fiona is round. Fiona is white. Gary is white. Gary is young. Harry is green. Harry is red. Harry is round. Harry is white. Harry is young. If something is white then it is cold. All cold things are young.
Gary is cold.
@0: Dave is not quiet.[(triple1)] Dave is round.[(triple2)] Fiona is green.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((((triple6) -> rule1)) -> rule2))] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12 OR ((((triple11) -> rule1)) -> rule2))] @1: Fiona is cold.[(((triple5) -> rule1))] Gary is cold.[(((triple6) -> rule1))] Harry is cold.[(((triple11) -> rule1))] @2: Fiona is young.[(((((triple5) -> rule1)) -> rule2))]