Anne is furry. Anne is green. Anne is young. Bob is big. Bob is not green. Bob is not nice. Bob is white. Erin is white. Fiona is not furry. Fiona is not round. Fiona is not white. Fiona is young. If something is nice and not white then it is furry. All furry things are big.
Erin is not white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is not green.[(triple5)] Bob is not nice.[(triple6)] Bob is white.[(triple7)] Erin is white.[(triple8)] Fiona is not furry.[(triple9)] Fiona is not round.[(triple10)] Fiona is not white.[(triple11)] Fiona is young.[(triple12)] @1: Anne is big.[(((triple1) -> rule2))]