Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Round, young people are furry. Round people are young. If Charlie is white then Charlie is green. Smart, kind people are white. All white, green people are young. If Charlie is white then Charlie is young. White people are furry. If Charlie is furry then Charlie is green.
Charlie is green.
@0: Charlie is furry.[(triple1 OR ((triple6) -> rule7) OR ((triple4 triple7) -> rule1) OR ((((triple5 triple3) -> rule4)) -> rule7) OR ((triple4 ((triple4) -> rule2)) -> rule1) OR ((triple4 ((triple6) -> rule6)) -> rule1) OR ((triple4 ((triple6 triple2) -> rule5)) -> rule1) OR ((triple4 ((((triple5 triple3) -> rule4)) -> rule6)) -> rule1) OR ((triple4 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple4 ((((triple5 triple3) -> rule4) triple2) -> rule5)) -> rule1) OR ((triple4 ((((triple5 triple3) -> rule4) ((triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple4 ((triple6 ((((triple5 triple3) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((triple4 ((((triple5 triple3) -> rule4) ((((triple5 triple3) -> rule4)) -> rule3)) -> rule5)) -> rule1))] Charlie is green.[(triple2 OR ((triple1) -> rule8) OR ((triple6) -> rule3) OR ((((triple6) -> rule7)) -> rule8) OR ((((triple4 triple7) -> rule1)) -> rule8) OR ((((triple5 triple3) -> rule4)) -> rule3) OR ((((((triple5 triple3) -> rule4)) -> rule7)) -> rule8) OR ((((triple4 ((triple4) -> rule2)) -> rule1)) -> rule8) OR ((((triple4 ((triple6) -> rule6)) -> rule1)) -> rule8) OR ((((triple4 ((((triple5 triple3) -> rule4)) -> rule6)) -> rule1)) -> rule8))] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple5 triple3) -> rule4))] Charlie is young.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule6) OR ((triple6 triple2) -> rule5) OR ((((triple5 triple3) -> rule4)) -> rule6) OR ((triple6 ((triple1) -> rule8)) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule4) triple2) -> rule5) OR ((((triple5 triple3) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((triple5 triple3) -> rule4) ((triple6) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule7)) -> rule8)) -> rule5) OR ((triple6 ((((triple5 triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule4) ((((triple6) -> rule7)) -> rule8)) -> rule5) OR ((((triple5 triple3) -> rule4) ((((triple5 triple3) -> rule4)) -> rule3)) -> rule5) OR ((triple6 ((((((triple5 triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5) OR ((((triple5 triple3) -> rule4) ((((((triple5 triple3) -> rule4)) -> rule7)) -> rule8)) -> rule5))]