Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is round. If someone is quiet then they are kind. Quiet, furry people are nice. If someone is kind then they are round. If someone is furry then they are kind. All nice, blue people are big. Blue people are nice.
Bob is not quiet.
@0: Bob is big.[(triple1 OR ((triple5 triple2) -> rule5) OR ((((triple2) -> rule6) triple2) -> rule5) OR ((((triple6 triple3) -> rule2) triple2) -> rule5))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple3) -> rule4) OR ((triple6) -> rule1))] Bob is nice.[(triple5 OR ((triple2) -> rule6) OR ((triple6 triple3) -> rule2))] Bob is quiet.[(triple6)] Bob is round.[(triple7 OR ((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]