Charlie is blue. Charlie is quiet. Charlie is red. Gary is big. Gary is blue. Gary is white. Gary is young. All quiet people are kind. All kind, quiet people are young. All blue people are red. Red, young people are big. If someone is white then they are blue. All young, white people are blue. If Charlie is kind then Charlie is quiet. Big people are kind.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple1) -> rule3))] Gary is big.[(triple4 OR ((((triple5) -> rule3) triple7) -> rule4) OR ((((((triple6) -> rule5)) -> rule3) triple7) -> rule4) OR ((((((triple7 triple6) -> rule6)) -> rule3) triple7) -> rule4))] Gary is blue.[(triple5 OR ((triple6) -> rule5) OR ((triple7 triple6) -> rule6))] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule1))] Gary is kind.[(((triple4) -> rule8) OR ((((((triple5) -> rule3) triple7) -> rule4)) -> rule8) OR ((((((((triple6) -> rule5)) -> rule3) triple7) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule6)) -> rule3) triple7) -> rule4)) -> rule8))] Gary is red.[(((triple5) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule6)) -> rule3))] @2: Charlie is young.[(((((triple2) -> rule1) triple2) -> rule2))] @3: Charlie is big.[(((triple3 ((((triple2) -> rule1) triple2) -> rule2)) -> rule4) OR ((((triple1) -> rule3) ((((triple2) -> rule1) triple2) -> rule2)) -> rule4))]