Charlie is quiet. Charlie is round. Fiona is kind. Fiona is round. Fiona is white. Fiona is young. Gary is round. Harry is quiet. Harry is white. Harry is not young. White people are round. If someone is white and not big then they are round. If someone is round then they are kind. If someone is rough and not white then they are not kind. If someone is big then they are rough. Big people are quiet. If someone is rough and not round then they are quiet. Young, kind people are not quiet.
Harry is not young.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Fiona is kind.[(triple3 OR ((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Fiona is round.[(triple4 OR ((triple5) -> rule1))] Fiona is white.[(triple5)] Fiona is young.[(triple6)] Gary is round.[(triple7)] Harry is not young.[(triple10)] Harry is quiet.[(triple8)] Harry is white.[(triple9)] @1: Charlie is kind.[(((triple2) -> rule3))] Fiona is not quiet.[(((triple6 triple3) -> rule8) OR ((triple6 ((triple4) -> rule3)) -> rule8) OR ((triple6 ((((triple5) -> rule1)) -> rule3)) -> rule8))] Gary is kind.[(((triple7) -> rule3))] Harry is round.[(((triple9) -> rule1))] @2: Harry is kind.[(((((triple9) -> rule1)) -> rule3))]