Bob is cold. Bob is quiet. Bob is red. Dave is cold. Dave is young. Gary is big. Gary is quiet. Gary is not red. Gary is round. Gary is young. Harry is not quiet. Harry is not round. All red, smart people are round. Red people are smart.
Harry is cold.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Dave is cold.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is not red.[(triple8)] Gary is quiet.[(triple7)] Gary is round.[(triple9)] Gary is young.[(triple10)] Harry is not quiet.[(triple11)] Harry is not round.[(triple12)] @1: Bob is smart.[(((triple3) -> rule2))] @2: Bob is round.[(((triple3 ((triple3) -> rule2)) -> rule1))]