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