Charlie is not big. Charlie is rough. Charlie is white. Dave is not quiet. Dave is white. Harry is big. Harry is quiet. Smart people are big. Quiet people are white. If someone is smart then they are furry. All rough people are blue. If someone is rough and not smart then they are blue. If someone is blue and not furry then they are not rough. If someone is white then they are rough. If someone is white and not quiet then they are rough.
Harry is not smart.
@0: Charlie is not big.[(triple1)] Charlie is rough.[(triple2 OR ((triple3) -> rule7))] Charlie is white.[(triple3)] Dave is not quiet.[(triple4)] Dave is white.[(triple5)] Harry is big.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Dave is rough.[(((triple5) -> rule7) OR ((triple5 triple4) -> rule8))] Harry is white.[(((triple7) -> rule2))] @2: Dave is blue.[(((((triple5) -> rule7)) -> rule4) OR ((((triple5 triple4) -> rule8)) -> rule4))] Harry is rough.[(((((triple7) -> rule2)) -> rule7))] @3: Harry is blue.[(((((((triple7) -> rule2)) -> rule7)) -> rule4))]