Bob is blue. Bob is not furry. Bob is red. Bob is rough. Bob is not smart. Harry is blue. Harry is not quiet. Harry is red. Harry is rough. Harry is not smart. White people are not smart. All blue people are not smart. All blue people are not furry. Red, rough people are not furry. If Harry is white and Harry is smart then Harry is furry. All red people are not quiet.
Harry is red.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2 OR ((triple1) -> rule3) OR ((triple3 triple4) -> rule4))] Bob is not smart.[(triple5 OR ((triple1) -> rule2))] Bob is red.[(triple3)] Bob is rough.[(triple4)] Harry is blue.[(triple6)] Harry is not quiet.[(triple7 OR ((triple8) -> rule6))] Harry is not smart.[(triple10 OR ((triple6) -> rule2))] Harry is red.[(triple8)] Harry is rough.[(triple9)] @1: Bob is not quiet.[(((triple3) -> rule6))] Harry is not furry.[(((triple6) -> rule3) OR ((triple8 triple9) -> rule4))]