Anne is blue. Anne is not cold. Anne is not furry. Anne is green. Anne is rough. Anne is round. Bob is big. Bob is blue. Bob is cold. Bob is green. Charlie is big. Charlie is cold. Charlie is rough. Charlie is not round. Fiona is not big. Fiona is rough. If Fiona is rough and Fiona is furry then Fiona is round. All cold, green people are furry. All cold people are big. If Fiona is green and Fiona is furry then Fiona is not big. All rough people are green. If Charlie is green and Charlie is not big then Charlie is furry.
Fiona is blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple4 OR ((triple5) -> rule5))] Anne is not cold.[(triple2)] Anne is not furry.[(triple3)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Bob is big.[(triple7 OR ((triple9) -> rule3))] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is green.[(triple10)] Charlie is big.[(triple11 OR ((triple12) -> rule3))] Charlie is cold.[(triple12)] Charlie is not round.[(triple14)] Charlie is rough.[(triple13)] Fiona is not big.[(triple15)] Fiona is rough.[(triple16)] @1: Bob is furry.[(((triple9 triple10) -> rule2))] Charlie is green.[(((triple13) -> rule5))] Fiona is green.[(((triple16) -> rule5))] @2: Charlie is furry.[(((triple12 ((triple13) -> rule5)) -> rule2))]