Dave is furry. Dave is nice. Dave is red. Gary is green. Gary is nice. Gary is red. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. If Dave is rough and Dave is red then Dave is nice. Green, rough things are quiet. If something is red then it is quiet. Quiet, furry things are nice. Rough, furry things are quiet. All nice things are green. If Dave is green and Dave is red then Dave is rough. All round things are furry.
Gary is round.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2 OR ((((triple3) -> rule3) triple1) -> rule4))] Dave is red.[(triple3)] Gary is green.[(triple4 OR ((triple5) -> rule6))] Gary is nice.[(triple5)] Gary is red.[(triple6)] Harry is furry.[(triple7 OR ((triple12) -> rule8))] Harry is green.[(triple8 OR ((triple9) -> rule6) OR ((((((triple10) -> rule3) triple7) -> rule4)) -> rule6) OR ((((((triple11 triple7) -> rule5) triple7) -> rule4)) -> rule6) OR ((((((triple10) -> rule3) ((triple12) -> rule8)) -> rule4)) -> rule6) OR ((((((triple11 triple7) -> rule5) ((triple12) -> rule8)) -> rule4)) -> rule6) OR ((((((triple11 ((triple12) -> rule8)) -> rule5) triple7) -> rule4)) -> rule6) OR ((((((triple11 ((triple12) -> rule8)) -> rule5) ((triple12) -> rule8)) -> rule4)) -> rule6))] Harry is nice.[(triple9 OR ((((triple10) -> rule3) triple7) -> rule4) OR ((((triple11 triple7) -> rule5) triple7) -> rule4) OR ((((triple8 triple11) -> rule2) triple7) -> rule4) OR ((((triple10) -> rule3) ((triple12) -> rule8)) -> rule4) OR ((((triple11 triple7) -> rule5) ((triple12) -> rule8)) -> rule4) OR ((((triple8 triple11) -> rule2) ((triple12) -> rule8)) -> rule4) OR ((((triple11 ((triple12) -> rule8)) -> rule5) triple7) -> rule4) OR ((((triple11 ((triple12) -> rule8)) -> rule5) ((triple12) -> rule8)) -> rule4))] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] @1: Dave is green.[(((triple2) -> rule6) OR ((((((triple3) -> rule3) triple1) -> rule4)) -> rule6))] Dave is quiet.[(((triple3) -> rule3) OR ((((((triple2) -> rule6) triple3) -> rule7) triple1) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6) triple3) -> rule7)) -> rule2))] Gary is quiet.[(((triple6) -> rule3))] Harry is quiet.[(((triple10) -> rule3) OR ((triple11 triple7) -> rule5) OR ((triple8 triple11) -> rule2) OR ((triple11 ((triple12) -> rule8)) -> rule5) OR ((((triple9) -> rule6) triple11) -> rule2))] @2: Dave is rough.[(((((triple2) -> rule6) triple3) -> rule7) OR ((((((((triple3) -> rule3) triple1) -> rule4)) -> rule6) triple3) -> rule7))]