Bob is big. Bob is furry. Bob is round. All big, furry things are kind. All blue things are round. Kind, red things are furry. If something is kind and furry then it is blue. Round things are blue. If Bob is furry then Bob is big.
Bob is not furry.
@0: Bob is big.[(triple1 OR ((triple2) -> rule6))] Bob is furry.[(triple2)] Bob is round.[(triple3 OR ((((((triple1 triple2) -> rule1) triple2) -> rule4)) -> rule2) OR ((((((((triple2) -> rule6) triple2) -> rule1) triple2) -> rule4)) -> rule2))] @1: Bob is blue.[(((triple3) -> rule5) OR ((((triple1 triple2) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule6) triple2) -> rule1) triple2) -> rule4))] Bob is kind.[(((triple1 triple2) -> rule1) OR ((((triple2) -> rule6) triple2) -> rule1))]