Anne is big. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is smart. Dave is rough. Dave is smart. Harry is big. Harry is kind. Harry is rough. Harry is smart. If something is smart and red then it is furry. Rough, furry things are big. All big, red things are kind. Smart things are red. If Dave is rough and Dave is furry then Dave is kind. If something is red and big then it is furry. If something is big then it is smart. All quiet things are red.
Anne is furry.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple6 triple4) -> rule1)) -> rule2) OR ((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) OR ((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2))] Anne is furry.[(triple2 OR ((triple4 triple1) -> rule6) OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple3) -> rule8)) -> rule1) OR ((triple6 ((triple6) -> rule4)) -> rule1) OR ((((triple1) -> rule7) triple4) -> rule1) OR ((((triple3) -> rule8) triple1) -> rule6) OR ((((triple6) -> rule4) triple1) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule8)) -> rule1) OR ((((triple1) -> rule7) ((triple6) -> rule4)) -> rule1) OR ((triple6 ((((triple1) -> rule7)) -> rule4)) -> rule1) OR ((((((triple1) -> rule7)) -> rule4) triple1) -> rule6) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule4)) -> rule1))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple3) -> rule8) OR ((triple6) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple1) -> rule7) OR ((((triple5 triple2) -> rule2)) -> rule7))] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Harry is big.[(triple9 OR ((triple11 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule2))] Harry is kind.[(triple10 OR ((triple9 ((triple12) -> rule4)) -> rule3) OR ((triple9 ((((triple9) -> rule7)) -> rule4)) -> rule3) OR ((((triple11 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule2) ((triple12) -> rule4)) -> rule3) OR ((((triple11 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule2) ((((triple9) -> rule7)) -> rule4)) -> rule3))] Harry is rough.[(triple11)] Harry is smart.[(triple12 OR ((triple9) -> rule7))] @1: Anne is kind.[(((triple1 triple4) -> rule3) OR ((triple1 ((triple3) -> rule8)) -> rule3) OR ((triple1 ((triple6) -> rule4)) -> rule3) OR ((((triple5 triple2) -> rule2) triple4) -> rule3) OR ((((triple5 triple2) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((((triple5 triple2) -> rule2) ((triple6) -> rule4)) -> rule3) OR ((triple1 ((((triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 triple4) -> rule1)) -> rule2) triple4) -> rule3) OR ((((triple5 triple2) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 triple4) -> rule1)) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple6 triple4) -> rule1)) -> rule2) ((triple6) -> rule4)) -> rule3) OR ((((triple5 ((triple6 triple4) -> rule1)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule3) OR ((triple1 ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) triple4) -> rule3) OR ((((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2) triple4) -> rule3) OR ((((triple5 triple2) -> rule2) ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) ((triple6) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2) ((triple6) -> rule4)) -> rule3) OR ((((triple5 ((triple6 triple4) -> rule1)) -> rule2) ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2) ((((triple1) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple3) -> rule8)) -> rule1)) -> rule2) ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule3) OR ((((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule2) ((((((triple5 triple2) -> rule2)) -> rule7)) -> rule4)) -> rule3))] Dave is red.[(((triple8) -> rule4))] Harry is red.[(((triple12) -> rule4) OR ((((triple9) -> rule7)) -> rule4))] @2: Dave is furry.[(((triple8 ((triple8) -> rule4)) -> rule1))] Harry is furry.[(((triple12 ((triple12) -> rule4)) -> rule1) OR ((((triple12) -> rule4) triple9) -> rule6) OR ((((triple9) -> rule7) ((triple12) -> rule4)) -> rule1) OR ((triple12 ((((triple9) -> rule7)) -> rule4)) -> rule1) OR ((((((triple9) -> rule7)) -> rule4) triple9) -> rule6) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule4)) -> rule1))] @3: Dave is big.[(((triple7 ((triple8 ((triple8) -> rule4)) -> rule1)) -> rule2))] Dave is kind.[(((triple7 ((triple8 ((triple8) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 ((triple8 ((triple8) -> rule4)) -> rule1)) -> rule2) ((triple8) -> rule4)) -> rule3))]