Bob is nice. Dave is smart. Erin is quiet. Harry is quiet. All quiet things are big. Big things are not young. All nice things are round.
Erin is not big.
@0: Bob is nice.[(triple1)] Dave is smart.[(triple2)] Erin is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Bob is round.[(((triple1) -> rule3))] Erin is big.[(((triple3) -> rule1))] Harry is big.[(((triple4) -> rule1))] @2: Erin is not young.[(((((triple3) -> rule1)) -> rule2))] Harry is not young.[(((((triple4) -> rule1)) -> rule2))]