Anne is big. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Dave is green. Dave is kind. Dave is quiet. Erin is big. Erin is kind. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is white. Quiet things are green. Kind things are rough. All big things are rough. Round things are green. All kind things are green. If Dave is big then Dave is rough. If Dave is round and Dave is quiet then Dave is kind. Green things are round.
Erin is rough.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule3) OR ((triple3) -> rule2))] Anne is white.[(triple6)] Dave is green.[(triple7 OR ((triple8) -> rule5) OR ((triple9) -> rule1))] Dave is kind.[(triple8 OR ((((triple7) -> rule8) triple9) -> rule7) OR ((((((triple9) -> rule1)) -> rule8) triple9) -> rule7))] Dave is quiet.[(triple9)] Erin is big.[(triple10)] Erin is kind.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14 OR ((triple12) -> rule2))] Harry is round.[(triple15 OR ((((triple12) -> rule5)) -> rule8) OR ((((triple13) -> rule1)) -> rule8))] Harry is white.[(triple16)] @1: Anne is round.[(((triple2) -> rule8) OR ((((triple3) -> rule5)) -> rule8) OR ((((triple4) -> rule1)) -> rule8))] Dave is rough.[(((triple8) -> rule2) OR ((((((triple7) -> rule8) triple9) -> rule7)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule8) triple9) -> rule7)) -> rule2))] Dave is round.[(((triple7) -> rule8) OR ((((triple8) -> rule5)) -> rule8) OR ((((triple9) -> rule1)) -> rule8))] Erin is green.[(((triple11) -> rule5))] Erin is rough.[(((triple10) -> rule3) OR ((triple11) -> rule2))] Harry is green.[(((triple12) -> rule5) OR ((triple13) -> rule1) OR ((triple15) -> rule4))] @2: Erin is round.[(((((triple11) -> rule5)) -> rule8))]