Bob is furry. Fiona is big. Gary is smart. Harry is kind. All big, kind people are furry. Furry people are big. All nice people are rough.
Bob is not furry.
@0: Bob is furry.[(triple1)] Fiona is big.[(triple2)] Gary is smart.[(triple3)] Harry is kind.[(triple4)] @1: Bob is big.[(((triple1) -> rule2))]