Bob is quiet. Dave is not white. Fiona is young. Harry is big. White people are big. If Bob is red and Bob is quiet then Bob is nice. If Dave is cold then Dave is young. All young people are red. All young, big people are red. White people are not nice. All quiet people are young. If Dave is cold and Dave is young then Dave is big.
Dave is not red.
@0: Bob is quiet.[(triple1)] Dave is not white.[(triple2)] Fiona is young.[(triple3)] Harry is big.[(triple4)] @1: Bob is young.[(((triple1) -> rule7))] Fiona is red.[(((triple3) -> rule4))] @2: Bob is red.[(((((triple1) -> rule7)) -> rule4))] @3: Bob is nice.[(((((((triple1) -> rule7)) -> rule4) triple1) -> rule2))]