Bob is big. Bob is kind. Bob is not nice. Bob is quiet. Dave is quiet. Harry is kind. Harry is round. If something is kind and nice then it is not green. If something is round and kind then it is not smart. If something is big then it is not nice. If something is kind then it is not nice. If Bob is not round then Bob is green. All green, nice things are big. If Harry is kind then Harry is not nice. If something is green and not big then it is not quiet.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3 OR ((triple1) -> rule3) OR ((triple2) -> rule4))] Bob is quiet.[(triple4)] Dave is quiet.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Harry is not nice.[(((triple6) -> rule4) OR ((triple6) -> rule7))] Harry is not smart.[(((triple7 triple6) -> rule2))]