Charlie is furry. Gary is nice. Gary is round. If something is nice and blue then it is big. Furry things are round. All furry things are blue. Round things are furry. Big things are red. All nice things are round. If Charlie is red then Charlie is big. If Gary is red and Gary is big then Gary is blue.
Gary is not blue.
@0: Charlie is furry.[(triple1)] Gary is nice.[(triple2)] Gary is round.[(triple3 OR ((triple2) -> rule6))] @1: Charlie is blue.[(((triple1) -> rule3))] Charlie is round.[(((triple1) -> rule2))] Gary is furry.[(((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] @2: Gary is blue.[(((((triple3) -> rule4)) -> rule3) OR ((((((triple2) -> rule6)) -> rule4)) -> rule3))] @3: Gary is big.[(((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule1) OR ((triple2 ((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1))] @4: Gary is red.[(((((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule1)) -> rule5) OR ((((triple2 ((((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1)) -> rule5))]