Anne is nice. Anne is red. Erin is big. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is round. Fiona is kind. Harry is kind. If Erin is big and Erin is red then Erin is green. If Erin is round then Erin is big. All green things are nice. If something is red and not rough then it is green. All rough, big things are round. If something is green then it is big.
Anne is not round.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2)] Erin is big.[(triple3 OR ((triple4) -> rule6) OR ((triple8) -> rule2))] Erin is green.[(triple4 OR ((triple3 triple6) -> rule1) OR ((((triple8) -> rule2) triple6) -> rule1))] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((triple7 triple3) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule5))] Fiona is kind.[(triple9)] Harry is kind.[(triple10)] @1: Erin is nice.[(((triple4) -> rule3) OR ((((triple3 triple6) -> rule1)) -> rule3) OR ((((((triple8) -> rule2) triple6) -> rule1)) -> rule3))]