Bob is quiet. Bob is rough. Bob is smart. Erin is kind. Erin is quiet. Fiona is round. Fiona is smart. If Erin is red then Erin is round. If Fiona is round then Fiona is rough. All nice, kind things are round.
Erin is not round.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is rough.[(((triple6) -> rule2))]