Charlie is blue. Gary is big. Gary is blue. Gary is furry. Gary is nice. Harry is furry. Harry is nice. If Charlie is nice and Charlie is big then Charlie is white. All furry, blue people are rough. All blue people are round. All round people are furry. If Harry is nice then Harry is rough. All furry, big people are blue.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Gary is big.[(triple2)] Gary is blue.[(triple3 OR ((triple4 triple2) -> rule6))] Gary is furry.[(triple4 OR ((((triple3) -> rule3)) -> rule4))] Gary is nice.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is round.[(((triple1) -> rule3))] Gary is rough.[(((triple4 triple3) -> rule2) OR ((triple4 ((triple4 triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4) triple3) -> rule2) OR ((((((triple3) -> rule3)) -> rule4) ((triple4 triple2) -> rule6)) -> rule2))] Gary is round.[(((triple3) -> rule3) OR ((((triple4 triple2) -> rule6)) -> rule3))] Harry is rough.[(((triple7) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule3)) -> rule4))] @3: Charlie is rough.[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule2))]