Anne is quiet. Anne is rough. Anne is round. Bob is kind. Erin is kind. Erin is nice. Erin is round. Fiona is kind. Fiona is nice. Fiona is quiet. If someone is round then they are rough.
Fiona is not rough.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2 OR ((triple3) -> rule1))] Anne is round.[(triple3)] Bob is kind.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Erin is rough.[(((triple7) -> rule1))]