Anne is furry. Anne is quiet. Anne is white. Charlie is furry. Charlie is nice. Charlie is white. Charlie is young. Erin is young. Gary is nice. Gary is young. All big, quiet things are young. If Charlie is red and Charlie is furry then Charlie is quiet. Big, red things are furry. Young, big things are white. Quiet, furry things are white. If something is quiet then it is big.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple2 triple1) -> rule5) OR ((((((triple2) -> rule6) triple2) -> rule1) ((triple2) -> rule6)) -> rule4))] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Erin is young.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10)] @1: Anne is big.[(((triple2) -> rule6))] @2: Anne is young.[(((((triple2) -> rule6) triple2) -> rule1))]