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