Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is white. Dave is furry. Dave is red. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is white. If Harry is green and Harry is red then Harry is quiet. If Harry is rough and Harry is white then Harry is red. If Charlie is green then Charlie is rough. If something is red and furry then it is quiet. If something is furry then it is white. All red things are furry.
Dave is rough.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule6))] Charlie is quiet.[(triple3 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple4) -> rule6)) -> rule4))] Charlie is red.[(triple4)] Charlie is white.[(triple5 OR ((triple2) -> rule5) OR ((((triple4) -> rule6)) -> rule5))] Dave is furry.[(triple6 OR ((triple7) -> rule6))] Dave is red.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple9 triple11) -> rule1) OR ((triple11 ((triple11) -> rule6)) -> rule4))] Harry is red.[(triple11)] Harry is white.[(triple12 OR ((((triple11) -> rule6)) -> rule5))] @1: Dave is quiet.[(((triple7 triple6) -> rule4) OR ((triple7 ((triple7) -> rule6)) -> rule4))] Dave is white.[(((triple6) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] Harry is furry.[(((triple11) -> rule6))]