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.
Gary is nice.
@0: Bob is furry.[(triple1)] Fiona is big.[(triple2)] Gary is smart.[(triple3)] Harry is kind.[(triple4)] @1: Bob is big.[(((triple1) -> rule2))]