Bob is nice. If Bob is kind and Bob is cold then Bob is red. If something is kind then it is cold. Round, nice things are cold. If Bob is round then Bob is cold. All round things are kind. If something is cold and round then it is kind. White, nice things are red. All nice things are round.
Bob is not kind.
@0: Bob is nice.[(triple1)] @1: Bob is round.[(((triple1) -> rule8))] @2: Bob is cold.[(((((triple1) -> rule8)) -> rule4) OR ((((triple1) -> rule8) triple1) -> rule3) OR ((((((triple1) -> rule8)) -> rule5)) -> rule2))] Bob is kind.[(((((triple1) -> rule8)) -> rule5) OR ((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8) triple1) -> rule3) ((triple1) -> rule8)) -> rule6))] @3: Bob is red.[(((((((triple1) -> rule8)) -> rule5) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((((triple1) -> rule8)) -> rule5) ((((triple1) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule8)) -> rule5) ((((((triple1) -> rule8)) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule8) triple1) -> rule3) ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple1) -> rule8) triple1) -> rule3) ((triple1) -> rule8)) -> rule6) ((((triple1) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule6) ((((((triple1) -> rule8)) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule8) triple1) -> rule3) ((triple1) -> rule8)) -> rule6) ((((((triple1) -> rule8)) -> rule5)) -> rule2)) -> rule1))]