Anne is rough. Bob is big. Fiona is kind. If something is rough and young then it is kind. If something is smart then it is kind. All big things are not kind. Quiet things are smart. All quiet things are smart. All smart things are young. All cold things are big. If something is quiet and big then it is cold.
Fiona is kind.
@0: Anne is rough.[(triple1)] Bob is big.[(triple2)] Fiona is kind.[(triple3)] @1: Bob is not kind.[(((triple2) -> rule3))]