Fiona is not big. Fiona is blue. Fiona is not furry. Fiona is not nice. Harry is furry. Harry is nice. Harry is smart. Nice things are rough.
Harry is blue.
@0: Fiona is blue.[(triple2)] Fiona is not big.[(triple1)] Fiona is not furry.[(triple3)] Fiona is not nice.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Harry is rough.[(((triple6) -> rule1))]