Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. If something is kind and round then it is smart. All green things are smart. White, green things are red. All white things are green. If Bob is round then Bob is smart. All round, white things are smart. If something is nice then it is round. Green, round things are kind.
Bob is not kind.
@0: Bob is green.[(triple1 OR ((triple7) -> rule4))] Bob is kind.[(triple2 OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple3) -> rule7)) -> rule8) OR ((((triple7) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3) -> rule7)) -> rule8))] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3))] Bob is round.[(triple5 OR ((triple3) -> rule7))] Bob is smart.[(triple6 OR ((triple1) -> rule2) OR ((triple5) -> rule5) OR ((triple2 triple5) -> rule1) OR ((triple5 triple7) -> rule6) OR ((((triple3) -> rule7)) -> rule5) OR ((((triple7) -> rule4)) -> rule2) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((((triple3) -> rule7) triple7) -> rule6) OR ((((triple1 triple5) -> rule8) triple5) -> rule1) OR ((((triple1 triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((triple1 ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((((triple7) -> rule4) triple5) -> rule8) triple5) -> rule1) OR ((((triple1 ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule4) triple5) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((((((triple7) -> rule4) ((triple3) -> rule7)) -> rule8) triple5) -> rule1) OR ((((((triple7) -> rule4) ((triple3) -> rule7)) -> rule8) ((triple3) -> rule7)) -> rule1))] Bob is white.[(triple7)]