Anne is cold. Erin is green. Erin is kind. Fiona is kind. Fiona is smart. Fiona is white. Gary is green. If Anne is white and Anne is smart then Anne is cold. If Fiona is kind and Fiona is smart then Fiona is round. All kind, nice people are round. Smart, nice people are kind. Kind, smart people are cold. All round people are cold.
Fiona is not kind.
@0: Anne is cold.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Fiona is kind.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Gary is green.[(triple7)] @1: Fiona is cold.[(((triple4 triple5) -> rule5) OR ((((triple4 triple5) -> rule2)) -> rule6))] Fiona is round.[(((triple4 triple5) -> rule2))]