Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Fiona is furry. Fiona is quiet. Gary is furry. Gary is green. Harry is green. Harry is quiet. If something is quiet and blue then it is kind. If something is green then it is furry. All green things are quiet. Quiet things are round. If Harry is rough then Harry is round. All rough things are kind.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))] Charlie is quiet.[(triple4 OR ((triple2) -> rule3))] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Gary is furry.[(triple7 OR ((triple8) -> rule2))] Gary is green.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple9) -> rule3))] @1: Charlie is furry.[(((triple2) -> rule2))] Charlie is round.[(((triple4) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Fiona is round.[(((triple6) -> rule4))] Gary is quiet.[(((triple8) -> rule3))] Harry is furry.[(((triple9) -> rule2))] Harry is round.[(((triple10) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] @2: Gary is round.[(((((triple8) -> rule3)) -> rule4))]