Dave is big. Dave is not red. Dave is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not red. Gary is blue. Gary is red. Harry is blue. Harry is not green. Harry is red. If something is red then it is blue. Blue things are cold. If Gary is big and Gary is not rough then Gary is red.
Dave is not blue.
@0: Dave is big.[(triple1)] Dave is not red.[(triple2)] Dave is round.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6 OR ((triple5) -> rule2))] Fiona is not red.[(triple7)] Gary is blue.[(triple8 OR ((triple9) -> rule1))] Gary is red.[(triple9)] Harry is blue.[(triple10 OR ((triple12) -> rule1))] Harry is not green.[(triple11)] Harry is red.[(triple12)] @1: Gary is cold.[(((triple8) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Harry is cold.[(((triple10) -> rule2) OR ((((triple12) -> rule1)) -> rule2))]