Bob is kind. Dave is white. Erin is big. Fiona is white. If something is green and not white then it is blue. Kind things are not smart. Smart things are big.
Erin is not blue.
@0: Bob is kind.[(triple1)] Dave is white.[(triple2)] Erin is big.[(triple3)] Fiona is white.[(triple4)] @1: Bob is not smart.[(((triple1) -> rule2))]