Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is young. Harry is furry. Harry is green. Harry is kind. Harry is rough. All quiet things are furry. All furry things are round. All green, round things are quiet.
Gary is not round.
@0: Gary is furry.[(triple1 OR ((triple4) -> rule1))] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple2 ((triple1) -> rule2)) -> rule3))] Gary is rough.[(triple5)] Gary is young.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] @1: Gary is round.[(((triple1) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Harry is round.[(((triple7) -> rule2))] @2: Harry is quiet.[(((triple8 ((triple7) -> rule2)) -> rule3))]