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.
Erin is not furry.
@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))]