Bob is big. Fiona is cold. If someone is green and not kind then they are big. All big people are quiet. If Fiona is big then Fiona is not green. All green people are not nice. If someone is green then they are nice. All quiet, big people are smart.
Bob is not green.
@0: Bob is big.[(triple1)] Fiona is cold.[(triple2)] @1: Bob is quiet.[(((triple1) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2) triple1) -> rule6))]