Anne is big. Anne is quiet. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Gary is big. Gary is furry. Gary is green. Gary is quiet. Gary is smart. If Fiona is green and Fiona is big then Fiona is furry. If Gary is big and Gary is quiet then Gary is green. All green things are furry. If Gary is furry and Gary is green then Gary is white. All big things are green. All furry, quiet things are big.
Gary is not white.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Fiona is big.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11 OR ((triple12 triple14) -> rule6) OR ((((triple13) -> rule3) triple14) -> rule6))] Gary is furry.[(triple12 OR ((triple13) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple11 triple14) -> rule2)) -> rule3))] Gary is green.[(triple13 OR ((triple11) -> rule5) OR ((triple11 triple14) -> rule2) OR ((((triple12 triple14) -> rule6)) -> rule5) OR ((((triple12 triple14) -> rule6) triple14) -> rule2))] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] @1: Anne is green.[(((triple1) -> rule5))] Fiona is green.[(((triple6) -> rule5))] Gary is white.[(((triple12 triple13) -> rule4) OR ((triple12 ((triple11) -> rule5)) -> rule4) OR ((triple12 ((triple11 triple14) -> rule2)) -> rule4) OR ((((triple13) -> rule3) triple13) -> rule4) OR ((((triple13) -> rule3) ((triple11) -> rule5)) -> rule4) OR ((((triple13) -> rule3) ((triple11 triple14) -> rule2)) -> rule4) OR ((triple12 ((((triple12 triple14) -> rule6)) -> rule5)) -> rule4) OR ((triple12 ((((triple12 triple14) -> rule6) triple14) -> rule2)) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) triple13) -> rule4) OR ((((((triple11 triple14) -> rule2)) -> rule3) triple13) -> rule4) OR ((((triple13) -> rule3) ((((triple12 triple14) -> rule6)) -> rule5)) -> rule4) OR ((((triple13) -> rule3) ((((triple12 triple14) -> rule6) triple14) -> rule2)) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) ((triple11) -> rule5)) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) ((triple11 triple14) -> rule2)) -> rule4) OR ((((((triple11 triple14) -> rule2)) -> rule3) ((triple11) -> rule5)) -> rule4) OR ((((((triple11 triple14) -> rule2)) -> rule3) ((triple11 triple14) -> rule2)) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) ((((triple12 triple14) -> rule6)) -> rule5)) -> rule4) OR ((((((triple11) -> rule5)) -> rule3) ((((triple12 triple14) -> rule6) triple14) -> rule2)) -> rule4) OR ((((((triple11 triple14) -> rule2)) -> rule3) ((((triple12 triple14) -> rule6)) -> rule5)) -> rule4) OR ((((((triple11 triple14) -> rule2)) -> rule3) ((((triple12 triple14) -> rule6) triple14) -> rule2)) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule5)) -> rule3))] Fiona is furry.[(((((triple6) -> rule5)) -> rule3) OR ((((triple6) -> rule5) triple6) -> rule1))]