Charlie is blue. Charlie is quiet. Gary is blue. Gary is quiet. Gary is rough. Gary is round. Gary is white. If something is blue then it is furry. All quiet things are blue. All rough things are blue.
Gary is not blue.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule2))] Charlie is quiet.[(triple2)] Gary is blue.[(triple3 OR ((triple4) -> rule2) OR ((triple5) -> rule3))] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Gary is furry.[(((triple3) -> rule1) OR ((((triple4) -> rule2)) -> rule1) OR ((((triple5) -> rule3)) -> rule1))]