Anne is furry. Anne is nice. Anne is quiet. Anne is white. Fiona is furry. Fiona is green. Gary is cold. Gary is green. Gary is quiet. Gary is young. Harry is cold. Harry is quiet. All young, quiet people are cold. All furry people are cold. Cold, nice people are white. Nice, quiet people are white. All white, cold people are quiet. If Harry is cold and Harry is not green then Harry is furry. If someone is green and furry then they are young. If Fiona is young and Fiona is furry then Fiona is white.
Fiona is young.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple4 ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2) triple2) -> rule3) ((triple1) -> rule2)) -> rule5))] Anne is white.[(triple4 OR ((triple2 triple3) -> rule4) OR ((((triple1) -> rule2) triple2) -> rule3))] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Gary is cold.[(triple7 OR ((triple10 triple9) -> rule1))] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is cold.[(((triple1) -> rule2))] Fiona is cold.[(((triple5) -> rule2))] Fiona is young.[(((triple6 triple5) -> rule7))] @2: Fiona is white.[(((((triple6 triple5) -> rule7) triple5) -> rule8))] @3: Fiona is quiet.[(((((((triple6 triple5) -> rule7) triple5) -> rule8) ((triple5) -> rule2)) -> rule5))]