Anne is kind. Bob is nice. Charlie is round. Fiona is smart. If Fiona is rough then Fiona is round. All round, smart things are rough. If something is rough and not round then it is not nice. All quiet things are not big. Nice, round things are big. Smart things are not big.
Bob is not rough.
@0: Anne is kind.[(triple1)] Bob is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is not big.[(((triple4) -> rule6))]