Dave is round. Dave is white. Fiona is kind. Fiona is quiet. Fiona is white. Gary is kind. Gary is red. Gary is round. Harry is quiet. Harry is white. Kind things are big. All big, kind things are quiet.
Gary is big.
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4 OR ((((triple3) -> rule1) triple3) -> rule2))] Fiona is white.[(triple5)] Gary is kind.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Fiona is big.[(((triple3) -> rule1))] Gary is big.[(((triple6) -> rule1))] @2: Gary is quiet.[(((((triple6) -> rule1) triple6) -> rule2))]