Anne is quiet. Bob is quiet. Fiona is cold. Harry is white. Quiet things are nice. Kind things are not nice. Quiet, kind things are not nice. If something is big then it is red. All big things are red. All nice things are not big. All cold things are quiet. Big things are not white.
Fiona is big.
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Fiona is cold.[(triple3)] Harry is white.[(triple4)] @1: Anne is nice.[(((triple1) -> rule1))] Bob is nice.[(((triple2) -> rule1))] Fiona is quiet.[(((triple3) -> rule7))] @2: Anne is not big.[(((((triple1) -> rule1)) -> rule6))] Bob is not big.[(((((triple2) -> rule1)) -> rule6))] Fiona is nice.[(((((triple3) -> rule7)) -> rule1))] @3: Fiona is not big.[(((((((triple3) -> rule7)) -> rule1)) -> rule6))]