Bob is cold. Bob is not young. Dave is kind. Dave is quiet. Dave is white. Erin is kind. Erin is not nice. Fiona is not kind. Fiona is nice. Fiona is young. If Erin is cold and Erin is quiet then Erin is not white. If Bob is cold then Bob is not kind. If Bob is nice and Bob is kind then Bob is smart. Cold, smart things are white. If something is kind and not quiet then it is not smart. Cold things are smart. If something is quiet and not kind then it is not smart. If something is nice and not white then it is not young.
Erin is not kind.
@0: Bob is cold.[(triple1)] Bob is not young.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is white.[(triple5)] Erin is kind.[(triple6)] Erin is not nice.[(triple7)] Fiona is nice.[(triple9)] Fiona is not kind.[(triple8)] Fiona is young.[(triple10)] @1: Bob is not kind.[(((triple1) -> rule2))] Bob is smart.[(((triple1) -> rule6))] @2: Bob is white.[(((triple1 ((triple1) -> rule6)) -> rule4))]