Dave is blue. Dave is cold. Dave is red. Dave is white. Erin is round. Fiona is big. Fiona is cold. Fiona is not kind. Harry is not cold. Harry is kind. Harry is not red. Harry is white. If Harry is cold and Harry is blue then Harry is kind. All red, kind people are not round. If Erin is red and Erin is round then Erin is big. All big people are white. Red people are not big. If someone is white then they are blue.
Harry is big.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule6))] Dave is cold.[(triple2)] Dave is red.[(triple3)] Dave is white.[(triple4)] Erin is round.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is not kind.[(triple8)] Harry is kind.[(triple10)] Harry is not cold.[(triple9)] Harry is not red.[(triple11)] Harry is white.[(triple12)] @1: Dave is not big.[(((triple3) -> rule5))] Fiona is white.[(((triple6) -> rule4))] Harry is blue.[(((triple12) -> rule6))] @2: Fiona is blue.[(((((triple6) -> rule4)) -> rule6))]