Bob is kind. Bob is red. Dave is big. Dave is kind. Dave is quiet. Harry is red. Harry is round. Kind people are quiet. Big, quiet people are round. If Bob is big then Bob is smart.
Bob is not round.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5 OR ((triple4) -> rule1))] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule1))] Dave is round.[(((triple3 triple5) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule2))]