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