Bob is cold. Fiona is big. Gary is quiet. Harry is big. All red, kind people are big. If someone is cold and kind then they are red. If someone is cold then they are green. All cold, green people are white. If Gary is kind and Gary is white then Gary is big. White people are big.
Bob is not green.
@0: Bob is cold.[(triple1)] Fiona is big.[(triple2)] Gary is quiet.[(triple3)] Harry is big.[(triple4)] @1: Bob is green.[(((triple1) -> rule3))] @2: Bob is white.[(((triple1 ((triple1) -> rule3)) -> rule4))] @3: Bob is big.[(((((triple1 ((triple1) -> rule3)) -> rule4)) -> rule6))]