Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is white. Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is round. Dave is white. Green, kind people are big. All round people are blue. If someone is green then they are nice. Big, round people are nice. If someone is green and white then they are blue. All green, big people are white.
Bob is not white.
@0: Bob is big.[(triple1 OR ((triple3 triple4) -> rule1))] Bob is blue.[(triple2 OR ((triple6) -> rule2) OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple3 triple1) -> rule6)) -> rule5) OR ((triple3 ((triple3 ((triple3 triple4) -> rule1)) -> rule6)) -> rule5))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple3) -> rule3) OR ((triple1 triple6) -> rule4) OR ((((triple3 triple4) -> rule1) triple6) -> rule4))] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3 triple4) -> rule1)) -> rule6))] Dave is big.[(triple8 OR ((triple10 triple11) -> rule1))] Dave is blue.[(triple9 OR ((triple13) -> rule2) OR ((triple10 triple14) -> rule5) OR ((triple10 ((triple10 triple8) -> rule6)) -> rule5) OR ((triple10 ((triple10 ((triple10 triple11) -> rule1)) -> rule6)) -> rule5))] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple10) -> rule3) OR ((triple8 triple13) -> rule4) OR ((((triple10 triple11) -> rule1) triple13) -> rule4))] Dave is round.[(triple13)] Dave is white.[(triple14 OR ((triple10 triple8) -> rule6) OR ((triple10 ((triple10 triple11) -> rule1)) -> rule6))]