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.
Bob is young.
@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))]