Anne is furry. Anne is nice. Anne is smart. Bob is young. Erin is nice. Harry is smart. Harry is young. Young things are furry. Nice, furry things are green. All green things are nice. Nice, green things are big. All green things are smart. If something is big and young then it is round. All green things are big. If Harry is young then Harry is furry. Furry, smart things are nice.
Bob is smart.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple1 triple3) -> rule9))] Anne is smart.[(triple3 OR ((((triple2 triple1) -> rule2)) -> rule5))] Bob is young.[(triple4)] Erin is nice.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Anne is green.[(((triple2 triple1) -> rule2) OR ((((triple1 triple3) -> rule9) triple1) -> rule2))] Bob is furry.[(((triple4) -> rule1))] Harry is furry.[(((triple7) -> rule1) OR ((triple7) -> rule8))] @2: Anne is big.[(((((triple2 triple1) -> rule2)) -> rule7) OR ((triple2 ((triple2 triple1) -> rule2)) -> rule4) OR ((((triple1 triple3) -> rule9) ((triple2 triple1) -> rule2)) -> rule4) OR ((((((triple1 triple3) -> rule9) triple1) -> rule2)) -> rule7) OR ((triple2 ((((triple1 triple3) -> rule9) triple1) -> rule2)) -> rule4) OR ((((triple1 triple3) -> rule9) ((((triple1 triple3) -> rule9) triple1) -> rule2)) -> rule4))] Harry is nice.[(((((triple7) -> rule1) triple6) -> rule9) OR ((((triple7) -> rule8) triple6) -> rule9))] @3: Harry is green.[(((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2) OR ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2) OR ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2) OR ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2))] @4: Harry is big.[(((((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule7) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule7) OR ((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) OR ((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) OR ((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) OR ((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) OR ((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4))] @5: Harry is round.[(((((((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule7) triple7) -> rule6) OR ((((((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule7) triple7) -> rule6) OR ((((((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule7) triple7) -> rule6) OR ((((((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule7) triple7) -> rule6) OR ((((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule1) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule1) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule1)) -> rule2)) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8) triple6) -> rule9) ((((((triple7) -> rule8) triple6) -> rule9) ((triple7) -> rule8)) -> rule2)) -> rule4) triple7) -> rule6))]