Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Erin is furry. Erin is green. Erin is quiet. Erin is round. Kind, rough things are green. If Anne is furry then Anne is rough. All green, round things are quiet.
Erin is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple1) -> rule2)) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple2 triple7) -> rule3) OR ((((triple3 triple6) -> rule1) triple7) -> rule3) OR ((((triple3 ((triple1) -> rule2)) -> rule1) triple7) -> rule3))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple1) -> rule2))] Anne is round.[(triple7)] Bob is furry.[(triple8)] Bob is kind.[(triple9)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is quiet.[(triple14 OR ((triple13 triple15) -> rule3))] Erin is round.[(triple15)]