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