Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is white. Furry things are big. If something is big and not white then it is not furry. If Fiona is quiet and Fiona is cold then Fiona is green. If Anne is quiet and Anne is big then Anne is cold. If something is quiet and not white then it is cold. If something is cold and not furry then it is quiet.
Fiona is quiet.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple6 triple1) -> rule4) OR ((triple6 ((triple4) -> rule1)) -> rule4))] Anne is furry.[(triple4)] Anne is green.[(triple5)] Anne is quiet.[(triple6)] Anne is white.[(triple7)] Fiona is big.[(triple8 OR ((triple11) -> rule1))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple13 triple10) -> rule3))] Fiona is quiet.[(triple13)] Fiona is white.[(triple14)]