Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Gary is rough. Gary is smart. Gary is white. All white things are red. Red things are kind. If something is round and rough then it is smart. All kind, smart things are round. If something is smart and kind then it is white. Round, kind things are rough.
Gary is not round.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple3) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Charlie is red.[(triple3 OR ((triple7) -> rule1) OR ((((triple6 triple2) -> rule5)) -> rule1) OR ((((((triple5 triple4) -> rule3) triple2) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule6)) -> rule3) triple2) -> rule5)) -> rule1))] Charlie is rough.[(triple4 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple3) -> rule2)) -> rule6) OR ((((triple2 triple6) -> rule4) triple2) -> rule6) OR ((((triple2 triple6) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((triple5 ((((triple7) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple6) -> rule4) triple2) -> rule6) OR ((((triple2 triple6) -> rule4) ((((triple7) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple6) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple6) -> rule4) ((((triple7) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule2) triple6) -> rule4) triple2) -> rule6) OR ((((((((triple7) -> rule1)) -> rule2) triple6) -> rule4) ((triple3) -> rule2)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule2) triple6) -> rule4) ((((triple7) -> rule1)) -> rule2)) -> rule6))] Charlie is round.[(triple5 OR ((triple2 triple6) -> rule4) OR ((((triple3) -> rule2) triple6) -> rule4) OR ((((((triple7) -> rule1)) -> rule2) triple6) -> rule4))] Charlie is smart.[(triple6 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5 triple2) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((((triple7) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Charlie is white.[(triple7 OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple3) -> rule2)) -> rule5) OR ((((triple5 triple4) -> rule3) triple2) -> rule5) OR ((((triple5 triple4) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule6)) -> rule3) triple2) -> rule5) OR ((((triple5 ((triple5 triple2) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) triple2) -> rule5) OR ((((triple5 ((triple5 ((triple3) -> rule2)) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule5))] Gary is rough.[(triple8 OR ((((((((triple10) -> rule1)) -> rule2) triple9) -> rule4) ((((triple10) -> rule1)) -> rule2)) -> rule6))] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Gary is red.[(((triple10) -> rule1))] @2: Gary is kind.[(((((triple10) -> rule1)) -> rule2))] @3: Gary is round.[(((((((triple10) -> rule1)) -> rule2) triple9) -> rule4))]