Anne is cold. Erin is kind. Erin is not red. Erin is smart. Fiona is big. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Gary is big. Gary is cold. Gary is smart. Red people are not smart. If Fiona is furry then Fiona is cold. All big people are kind.
Gary is not cold.
@0: Anne is cold.[(triple1)] Erin is kind.[(triple2)] Erin is not red.[(triple3)] Erin is smart.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7 OR ((triple5) -> rule3))] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is smart.[(triple12)] @1: Gary is kind.[(((triple10) -> rule3))]