Charlie is green. Charlie is quiet. Charlie is young. All nice, green people are young. If Charlie is big then Charlie is furry. If Charlie is green then Charlie is young. Green people are rough. If someone is furry then they are nice. If Charlie is rough then Charlie is young. If Charlie is rough then Charlie is furry. All young people are nice.
Charlie is not green.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3 OR ((triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule6) OR ((((((((triple1) -> rule4)) -> rule7)) -> rule5) triple1) -> rule1))] @1: Charlie is nice.[(((triple3) -> rule8) OR ((((triple1) -> rule3)) -> rule8) OR ((((((triple1) -> rule4)) -> rule6)) -> rule8) OR ((((((triple1) -> rule4)) -> rule7)) -> rule5))] Charlie is rough.[(((triple1) -> rule4))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule7))]