Fiona is furry. Fiona is rough. Fiona is white. If Fiona is white then Fiona is smart. If something is nice and smart then it is rough. All kind, big things are smart. All rough things are kind. Smart, kind things are rough. Nice things are white.
Fiona is not big.
@0: Fiona is furry.[(triple1)] Fiona is rough.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule4))] Fiona is smart.[(((triple3) -> rule1))]