Dave is cold. Dave is green. Fiona is not cold. Gary is smart. Harry is not big. Harry is not green. Harry is smart. Big, smart people are not cold. If someone is smart then they are not big. If someone is big and not kind then they are not rough. If Gary is smart then Gary is green. If someone is cold then they are green. All round people are green. Big, round people are not green. If Harry is not cold then Harry is not round.
Fiona is cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2 OR ((triple1) -> rule5))] Fiona is not cold.[(triple3)] Gary is smart.[(triple4)] Harry is not big.[(triple5 OR ((triple7) -> rule2))] Harry is not green.[(triple6)] Harry is smart.[(triple7)] @1: Gary is green.[(((triple4) -> rule4))] Gary is not big.[(((triple4) -> rule2))]