Anne is not nice. Anne is quiet. Anne is red. Anne is round. Erin is kind. Gary is nice. Gary is round. All kind things are rough. Round things are rough. If Erin is not nice then Erin is kind. All rough, round things are red. Big things are not red. All red things are quiet.
Erin is not rough.
@0: Anne is not nice.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule6) OR ((((((triple4) -> rule2) triple4) -> rule4)) -> rule6))] Anne is red.[(triple3 OR ((((triple4) -> rule2) triple4) -> rule4))] Anne is round.[(triple4)] Erin is kind.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] @1: Anne is rough.[(((triple4) -> rule2))] Erin is rough.[(((triple5) -> rule1))] Gary is rough.[(((triple7) -> rule2))] @2: Gary is red.[(((((triple7) -> rule2) triple7) -> rule4))] @3: Gary is quiet.[(((((((triple7) -> rule2) triple7) -> rule4)) -> rule6))]