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