Bob is not blue. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is smart. If someone is nice and smart then they are rough. If Bob is blue and Bob is not nice then Bob is not kind. If Bob is kind and Bob is nice then Bob is green. Smart, rough people are kind. If someone is blue and not nice then they are green. Rough, green people are smart. If someone is green then they are round. If someone is rough and not green then they are round.
Bob is not kind.
@0: Bob is green.[(triple2 OR ((triple3 triple4) -> rule3) OR ((((triple7 triple5) -> rule4) triple4) -> rule3) OR ((((triple7 ((triple4 triple7) -> rule1)) -> rule4) triple4) -> rule3))] Bob is kind.[(triple3 OR ((triple7 triple5) -> rule4) OR ((triple7 ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple5 triple2) -> rule6) triple5) -> rule4) OR ((((triple5 triple2) -> rule6) ((triple4 triple7) -> rule1)) -> rule4))] Bob is nice.[(triple4)] Bob is not blue.[(triple1)] Bob is rough.[(triple5 OR ((triple4 triple7) -> rule1))] Bob is round.[(triple6 OR ((triple2) -> rule7) OR ((((triple3 triple4) -> rule3)) -> rule7) OR ((((((triple7 triple5) -> rule4) triple4) -> rule3)) -> rule7) OR ((((((triple7 ((triple4 triple7) -> rule1)) -> rule4) triple4) -> rule3)) -> rule7))] Bob is smart.[(triple7 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple3 triple4) -> rule3)) -> rule6))]