Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is white. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is white. White, round things are furry. All kind, round things are smart.
Harry is not kind.
@0: Bob is furry.[(triple1 OR ((triple7 triple5) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple3 triple5) -> rule2))] Bob is white.[(triple7)] Harry is furry.[(triple8 OR ((triple14 triple12) -> rule1))] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13 OR ((triple10 triple12) -> rule2))] Harry is white.[(triple14)]