Fiona is nice. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is smart. All red things are round. If something is cold and rough then it is round. All cold, green things are round. If Gary is green and Gary is rough then Gary is cold. Green, red things are rough. If something is rough and red then it is round. All smart things are cold. If Fiona is nice then Fiona is cold.
Gary is red.
@0: Fiona is nice.[(triple1)] Fiona is round.[(triple2)] Fiona is smart.[(triple3)] Gary is cold.[(triple4 OR ((triple7) -> rule7))] Gary is green.[(triple5)] Gary is round.[(triple6 OR ((triple4 triple5) -> rule3) OR ((((triple7) -> rule7) triple5) -> rule3))] Gary is smart.[(triple7)] @1: Fiona is cold.[(((triple1) -> rule8) OR ((triple3) -> rule7))]