Bob is rough. Erin is furry. Fiona is not red. Harry is not nice. If Bob is round then Bob is not red. If Fiona is not red then Fiona is rough. If Erin is not green then Erin is red.
Fiona is nice.
@0: Bob is rough.[(triple1)] Erin is furry.[(triple2)] Fiona is not red.[(triple3)] Harry is not nice.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule2))]