Charlie is green. Charlie is young. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is young. Harry is furry. Harry is green. Harry is rough. Harry is round. Harry is white. Harry is young. Rough things are furry. If Erin is young then Erin is furry. All round things are green. If something is young and quiet then it is green. All green, white things are quiet. If Charlie is furry and Charlie is white then Charlie is rough. All white things are round. All young, white things are quiet.
Harry is rough.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Erin is furry.[(triple3 OR ((triple6) -> rule1) OR ((triple9) -> rule2))] Erin is green.[(triple4 OR ((triple7) -> rule3) OR ((triple9 triple5) -> rule4) OR ((((triple8) -> rule7)) -> rule3) OR ((triple9 ((triple9 triple8) -> rule8)) -> rule4))] Erin is quiet.[(triple5 OR ((triple4 triple8) -> rule5) OR ((triple9 triple8) -> rule8) OR ((((triple7) -> rule3) triple8) -> rule5) OR ((((((triple8) -> rule7)) -> rule3) triple8) -> rule5))] Erin is rough.[(triple6)] Erin is round.[(triple7 OR ((triple8) -> rule7))] Erin is white.[(triple8)] Erin is young.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule1))] Harry is green.[(triple11 OR ((triple13) -> rule3) OR ((((triple14) -> rule7)) -> rule3) OR ((triple15 ((triple15 triple14) -> rule8)) -> rule4))] Harry is rough.[(triple12)] Harry is round.[(triple13 OR ((triple14) -> rule7))] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is quiet.[(((triple11 triple14) -> rule5) OR ((triple15 triple14) -> rule8) OR ((((triple13) -> rule3) triple14) -> rule5) OR ((((((triple14) -> rule7)) -> rule3) triple14) -> rule5))]