Charlie is kind. Charlie is quiet. Charlie is not round. Charlie is young. Erin is green. Erin is not nice. Erin is young. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is not round. Harry is kind. Harry is quiet. Harry is round. Harry is young. Green people are furry. If someone is quiet then they are kind. Young people are quiet. All kind, round people are quiet. All nice people are not young. If someone is round and not furry then they are young.
Harry is not furry.
@0: Charlie is kind.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Charlie is not round.[(triple3)] Charlie is quiet.[(triple2 OR ((triple4) -> rule3))] Charlie is young.[(triple4)] Erin is green.[(triple5)] Erin is not nice.[(triple6)] Erin is young.[(triple7)] Gary is furry.[(triple8 OR ((triple9) -> rule1))] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple11) -> rule2))] Gary is not round.[(triple12)] Gary is quiet.[(triple11)] Harry is kind.[(triple13 OR ((triple14) -> rule2) OR ((((triple16) -> rule3)) -> rule2))] Harry is quiet.[(triple14 OR ((triple16) -> rule3) OR ((triple13 triple15) -> rule4))] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Erin is furry.[(((triple5) -> rule1))] Erin is quiet.[(((triple7) -> rule3))] @2: Erin is kind.[(((((triple7) -> rule3)) -> rule2))]