Charlie is furry. Charlie is smart. Charlie is not white. Charlie is young. Fiona is quiet. Fiona is smart. Fiona is not white. Gary is not quiet. Gary is not rough. Harry is quiet. Smart people are green. All quiet, white people are not green. Young people are rough. Green, young people are furry. Quiet people are young. If someone is rough then they are young.
Harry is not furry.
@0: Charlie is furry.[(triple1 OR ((((triple2) -> rule1) triple4) -> rule4))] Charlie is not white.[(triple3)] Charlie is smart.[(triple2)] Charlie is young.[(triple4)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6)] Gary is not quiet.[(triple8)] Gary is not rough.[(triple9)] Harry is quiet.[(triple10)] @1: Charlie is green.[(((triple2) -> rule1))] Charlie is rough.[(((triple4) -> rule3))] Fiona is green.[(((triple6) -> rule1))] Fiona is young.[(((triple5) -> rule5))] Harry is young.[(((triple10) -> rule5))] @2: Fiona is furry.[(((((triple6) -> rule1) ((triple5) -> rule5)) -> rule4))] Fiona is rough.[(((((triple5) -> rule5)) -> rule3))] Harry is rough.[(((((triple10) -> rule5)) -> rule3))]