Bob is young. Charlie is quiet. Dave is not green. Harry is cold. If someone is quiet and kind then they are cold. All quiet people are kind. If someone is green then they are not kind. If Dave is cold then Dave is young. All young, cold people are quiet. If Charlie is blue then Charlie is not big. If someone is blue and not cold then they are big. All cold people are big.
Bob is not blue.
@0: Bob is young.[(triple1)] Charlie is quiet.[(triple2)] Dave is not green.[(triple3)] Harry is cold.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule2))] Harry is big.[(((triple4) -> rule8))] @2: Charlie is cold.[(((triple2 ((triple2) -> rule2)) -> rule1))] @3: Charlie is big.[(((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule8))]