Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is white. All red things are quiet. If something is quiet then it is furry. Round things are white.
Gary is quiet.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is red.[(triple4)] Anne is round.[(triple5)] Gary is furry.[(triple6 OR ((triple8) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple9) -> rule1))] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Anne is white.[(((triple5) -> rule3))]