Bob is cold. Bob is kind. Bob is nice. Dave is kind. Dave is quiet. Dave is smart. Dave is white. If someone is big and nice then they are smart. If Bob is white then Bob is quiet. All kind people are white. If someone is nice then they are smart. If someone is white and nice then they are big. If Bob is quiet then Bob is big. If someone is quiet then they are nice. If someone is kind then they are white.
Bob is not kind.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((((((triple2) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8)) -> rule2)) -> rule7))] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((((triple5) -> rule7)) -> rule4) OR ((((triple7 ((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule3) ((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule8) ((triple5) -> rule7)) -> rule5) ((triple5) -> rule7)) -> rule1))] Dave is white.[(triple7 OR ((triple4) -> rule3) OR ((triple4) -> rule8))] @1: Bob is smart.[(((triple3) -> rule4) OR ((((((triple2) -> rule3) triple3) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule5) triple3) -> rule1) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule6) triple3) -> rule1) OR ((((((((triple2) -> rule8)) -> rule2)) -> rule6) triple3) -> rule1) OR ((((((triple2) -> rule3) triple3) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3) triple3) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule6) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule2)) -> rule6) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule2)) -> rule6) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule8)) -> rule2)) -> rule6) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) triple3) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule1) OR ((((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1))] Bob is white.[(((triple2) -> rule3) OR ((triple2) -> rule8))] Dave is nice.[(((triple5) -> rule7))] @2: Bob is big.[(((((triple2) -> rule3) triple3) -> rule5) OR ((((triple2) -> rule8) triple3) -> rule5) OR ((((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((((triple2) -> rule3) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5) OR ((((triple2) -> rule8) ((((((triple2) -> rule3)) -> rule2)) -> rule7)) -> rule5) OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule5))] Bob is quiet.[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule8)) -> rule2))] Dave is big.[(((triple7 ((triple5) -> rule7)) -> rule5) OR ((((triple4) -> rule3) ((triple5) -> rule7)) -> rule5) OR ((((triple4) -> rule8) ((triple5) -> rule7)) -> rule5))]