Bob is kind. Dave is smart. Fiona is big. If Dave is smart then Dave is round. Smart people are green.
Bob is not green.
@0: Bob is kind.[(triple1)] Dave is smart.[(triple2)] Fiona is big.[(triple3)] @1: Dave is green.[(((triple2) -> rule2))] Dave is round.[(((triple2) -> rule1))]