Anne is green. Anne is nice. Anne is round. Anne is smart. Erin is quiet. Erin is round. Erin is smart. Erin is young. Gary is furry. Gary is green. Gary is nice. Gary is young. Harry is furry. Harry is round. Harry is smart. If something is smart then it is furry. Round things are furry. All nice things are young.
Harry is green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Erin is quiet.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule3))] Harry is furry.[(triple13 OR ((triple14) -> rule2) OR ((triple15) -> rule1))] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Anne is furry.[(((triple3) -> rule2) OR ((triple4) -> rule1))] Anne is young.[(((triple2) -> rule3))] Erin is furry.[(((triple6) -> rule2) OR ((triple7) -> rule1))]