Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is white. Dave is young. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Gary is blue. Gary is white. Gary is young. Harry is blue. Harry is quiet. If something is quiet then it is blue. All white things are red. Young things are red.
Gary is quiet.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple4) -> rule1))] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple6) -> rule2) OR ((triple7) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple10) -> rule1))] Fiona is cold.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Gary is blue.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)] Harry is blue.[(triple15 OR ((triple16) -> rule1))] Harry is quiet.[(triple16)] @1: Gary is red.[(((triple13) -> rule2) OR ((triple14) -> rule3))]