Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Harry is nice. Harry is round. If Harry is nice and Harry is furry then Harry is blue. All green things are quiet. Blue, round things are quiet. If something is quiet then it is blue. If something is quiet and nice then it is green. If Charlie is rough and Charlie is blue then Charlie is furry.
Charlie is nice.
@0: Charlie is furry.[(triple1 OR ((triple4 ((triple3) -> rule4)) -> rule6))] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Harry is nice.[(triple6)] Harry is round.[(triple7)] @1: Charlie is blue.[(((triple3) -> rule4))] Charlie is green.[(((triple3 triple2) -> rule5))]