Anne is big. Anne is not kind. Bob is big. Bob is not blue. Bob is quiet. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is not rough. If Anne is rough then Anne is green. If Bob is big and Bob is rough then Bob is not green. If someone is rough then they are not kind. All green people are not rough. All quiet, kind people are not rough. If someone is rough and not furry then they are not quiet. All quiet, green people are blue. If someone is quiet and not rough then they are blue.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Bob is big.[(triple3)] Bob is not blue.[(triple4)] Bob is quiet.[(triple5)] Harry is blue.[(triple6 OR ((triple9 triple10) -> rule8) OR ((triple9 triple8) -> rule7) OR ((triple9 ((triple8) -> rule4)) -> rule8))] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is not rough.[(triple10 OR ((triple8) -> rule4))] Harry is quiet.[(triple9)]