Dave is big. Dave is blue. Dave is quiet. Dave is smart. Dave is white. Fiona is blue. Gary is blue. Gary is young. Harry is blue. Harry is quiet. If Gary is smart and Gary is blue then Gary is red. All young things are blue. If Fiona is quiet and Fiona is big then Fiona is not young. If Gary is white then Gary is not big. If something is quiet and not blue then it is not white. If something is blue and not young then it is white. Big things are white. If Dave is smart and Dave is white then Dave is quiet.
Harry is big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3 OR ((triple4 triple5) -> rule8) OR ((triple4 ((triple1) -> rule7)) -> rule8))] Dave is smart.[(triple4)] Dave is white.[(triple5 OR ((triple1) -> rule7))] Fiona is blue.[(triple6)] Gary is blue.[(triple7 OR ((triple8) -> rule2))] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is quiet.[(triple10)]