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