Bob is white. Charlie is not cold. Dave is big. Harry is not round. If someone is furry then they are smart. All smart people are not cold. If someone is big then they are furry. If Charlie is rough and Charlie is cold then Charlie is not big. If someone is round then they are big. If someone is big and not smart then they are white.
Harry is round.
@0: Bob is white.[(triple1)] Charlie is not cold.[(triple2)] Dave is big.[(triple3)] Harry is not round.[(triple4)] @1: Dave is furry.[(((triple3) -> rule3))] @2: Dave is smart.[(((((triple3) -> rule3)) -> rule1))] @3: Dave is not cold.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]