Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Red things are furry. All green, blue things are furry. If something is kind then it is furry. Quiet, kind things are furry. Quiet things are cold. If Bob is blue then Bob is green. If Bob is kind and Bob is green then Bob is cold. Green things are kind.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule5) OR ((triple5 triple4) -> rule7) OR ((triple5 ((triple1) -> rule6)) -> rule7) OR ((((triple4) -> rule8) triple4) -> rule7) OR ((((triple4) -> rule8) ((triple1) -> rule6)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) triple4) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule7))] Bob is furry.[(triple3 OR ((triple5) -> rule3) OR ((triple7) -> rule1) OR ((triple4 triple1) -> rule2) OR ((triple6 triple5) -> rule4) OR ((((triple4) -> rule8)) -> rule3) OR ((triple6 ((triple4) -> rule8)) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule2) OR ((((((triple1) -> rule6)) -> rule8)) -> rule3) OR ((triple6 ((((triple1) -> rule6)) -> rule8)) -> rule4))] Bob is green.[(triple4 OR ((triple1) -> rule6))] Bob is kind.[(triple5 OR ((triple4) -> rule8) OR ((((triple1) -> rule6)) -> rule8))] Bob is quiet.[(triple6)] Bob is red.[(triple7)]