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