Bob is nice. Bob is not quiet. Bob is red. Dave is red. Harry is not cold. Harry is quiet. Harry is not round. If someone is nice and not red then they are big. Red people are big. If someone is big then they are not smart.
Bob is not big.
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Bob is red.[(triple3)] Dave is red.[(triple4)] Harry is not cold.[(triple5)] Harry is not round.[(triple7)] Harry is quiet.[(triple6)] @1: Bob is big.[(((triple3) -> rule2))] Dave is big.[(((triple4) -> rule2))] @2: Bob is not smart.[(((((triple3) -> rule2)) -> rule3))] Dave is not smart.[(((((triple4) -> rule2)) -> rule3))]