Bob is big. Bob is not kind. Bob is nice. Bob is red. Bob is white. Bob is young. Dave is cold. Dave is not kind. Dave is nice. Dave is red. Dave is white. Dave is young. If something is kind and nice then it is red. Big, young things are white. If something is young and big then it is white. All cold things are white. If Dave is white and Dave is young then Dave is not kind. White things are young.
Bob is white.
@0: Bob is big.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is red.[(triple4)] Bob is white.[(triple5 OR ((triple1 triple6) -> rule2) OR ((triple6 triple1) -> rule3))] Bob is young.[(triple6 OR ((triple5) -> rule6))] Dave is cold.[(triple7)] Dave is nice.[(triple9)] Dave is not kind.[(triple8 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule6)) -> rule5) OR ((((triple7) -> rule4) triple12) -> rule5) OR ((((triple7) -> rule4) ((triple11) -> rule6)) -> rule5) OR ((triple11 ((((triple7) -> rule4)) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule5))] Dave is red.[(triple10)] Dave is white.[(triple11 OR ((triple7) -> rule4))] Dave is young.[(triple12 OR ((triple11) -> rule6) OR ((((triple7) -> rule4)) -> rule6))]