Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is white. Bob is young. If Bob is not white then Bob is furry. If Bob is blue and Bob is red then Bob is cold. If Bob is red and Bob is not furry then Bob is blue. All white people are cold. Young, white people are cold. All red people are young. If someone is white and not blue then they are young. If someone is cold and blue then they are big.
Bob is white.
@0: Bob is big.[(triple1 OR ((triple3 triple2) -> rule8) OR ((((triple6) -> rule4) triple2) -> rule8) OR ((((triple2 triple5) -> rule2) triple2) -> rule8) OR ((((triple7 triple6) -> rule5) triple2) -> rule8) OR ((((((triple5) -> rule6) triple6) -> rule5) triple2) -> rule8))] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple6) -> rule4) OR ((triple2 triple5) -> rule2) OR ((triple7 triple6) -> rule5) OR ((((triple5) -> rule6) triple6) -> rule5))] Bob is furry.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple5) -> rule6))]