Bob is kind. Bob is white. Fiona is big. Gary is big. Gary is round. Harry is big. Harry is round. If someone is kind then they are nice. All cold, round people are furry. If someone is nice then they are furry.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is white.[(triple2)] Fiona is big.[(triple3)] Gary is big.[(triple4)] Gary is round.[(triple5)] Harry is big.[(triple6)] Harry is round.[(triple7)] @1: Bob is nice.[(((triple1) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule1)) -> rule3))]