Anne is green. Bob is round. Dave is kind. Dave is rough. Dave is round. Fiona is kind. Fiona is not nice. If someone is round then they are not big.
Bob is round.
@0: Anne is green.[(triple1)] Bob is round.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Fiona is kind.[(triple6)] Fiona is not nice.[(triple7)] @1: Bob is not big.[(((triple2) -> rule1))] Dave is not big.[(((triple5) -> rule1))]