Anne is big. Anne is blue. Anne is red. Erin is quiet. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is nice. Fiona is not red. Gary is big. Gary is blue. Gary is cold. If something is big then it is cold. If something is nice and not cold then it is kind.
Fiona is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Erin is quiet.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple8)] Fiona is not kind.[(triple7)] Fiona is not red.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple10) -> rule1))] @1: Anne is cold.[(((triple1) -> rule1))] Fiona is cold.[(((triple5) -> rule1))]