Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Charlie is furry. Charlie is kind. Charlie is quiet. Gary is big. Gary is furry. Gary is green. Gary is quiet. All green, kind people are smart. If Gary is smart and Gary is big then Gary is nice. If someone is quiet and furry then they are smart.
Gary is not smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5 OR ((triple2 triple3) -> rule1) OR ((triple4 triple1) -> rule3))] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is quiet.[(triple12)] @1: Charlie is smart.[(((triple8 triple6) -> rule3))] Gary is smart.[(((triple12 triple10) -> rule3))] @2: Gary is nice.[(((((triple12 triple10) -> rule3) triple9) -> rule2))]