Dave is big. Dave is not kind. Dave is not red. Dave is rough. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is not kind. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Harry is big. Harry is cold. Harry is not red. If someone is cold then they are rough. If Dave is white and Dave is not cold then Dave is young. If Fiona is young and Fiona is white then Fiona is big.
Harry is kind.
@0: Dave is big.[(triple1)] Dave is not kind.[(triple2)] Dave is not red.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Fiona is big.[(triple7 OR ((triple13 triple12) -> rule3))] Fiona is cold.[(triple8)] Fiona is not kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple8) -> rule1))] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Harry is big.[(triple14)] Harry is cold.[(triple15)] Harry is not red.[(triple16)] @1: Harry is rough.[(((triple15) -> rule1))]