Charlie is blue. Charlie is cold. Charlie is green. Charlie is rough. Erin is cold. Erin is not furry. Erin is not green. Erin is nice. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is nice. Gary is big. Gary is green. Gary is rough. If someone is nice and not big then they are green. Cold people are nice. All furry, nice people are cold. All rough people are cold. Furry people are cold. Green, big people are not blue.
Erin is cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple4) -> rule4))] Charlie is green.[(triple3)] Charlie is rough.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple8 OR ((triple5) -> rule2))] Erin is not furry.[(triple6)] Erin is not green.[(triple7)] Fiona is big.[(triple9)] Fiona is furry.[(triple11)] Fiona is nice.[(triple12 OR ((((triple11) -> rule5)) -> rule2))] Fiona is not blue.[(triple10)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is rough.[(triple15)] @1: Charlie is nice.[(((triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] Fiona is cold.[(((triple11) -> rule5) OR ((triple11 triple12) -> rule3))] Gary is cold.[(((triple15) -> rule4))] Gary is not blue.[(((triple14 triple13) -> rule6))] @2: Gary is nice.[(((((triple15) -> rule4)) -> rule2))]