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