Charlie is quiet. Dave is big. Dave is red. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is quiet. Erin is smart. Harry is big. Harry is furry. Harry is young. Blue people are red. If someone is quiet then they are big. If someone is furry then they are quiet. All quiet, big people are furry. If someone is young then they are blue. If someone is young then they are quiet. If Erin is furry then Erin is young. Blue people are quiet. If someone is furry then they are young.
Erin is furry.
@0: Charlie is quiet.[(triple1)] Dave is big.[(triple2 OR ((((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule5)) -> rule8)) -> rule2))] Dave is red.[(triple3 OR ((((triple5) -> rule5)) -> rule1))] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6 OR ((triple8) -> rule2) OR ((((triple7) -> rule8)) -> rule2))] Erin is blue.[(triple7 OR ((((((triple8 triple6) -> rule4)) -> rule7)) -> rule5) OR ((((((triple8 triple6) -> rule4)) -> rule9)) -> rule5) OR ((((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule9)) -> rule5))] Erin is quiet.[(triple8 OR ((triple7) -> rule8))] Erin is smart.[(triple9)] Harry is big.[(triple10 OR ((((triple11) -> rule3)) -> rule2) OR ((((triple12) -> rule6)) -> rule2) OR ((((((triple11) -> rule9)) -> rule6)) -> rule2) OR ((((((triple12) -> rule5)) -> rule8)) -> rule2) OR ((((((((triple11) -> rule9)) -> rule5)) -> rule8)) -> rule2))] Harry is furry.[(triple11 OR ((((triple12) -> rule6) triple10) -> rule4) OR ((((((triple12) -> rule5)) -> rule8) triple10) -> rule4) OR ((((triple12) -> rule6) ((((triple12) -> rule6)) -> rule2)) -> rule4) OR ((((((triple12) -> rule5)) -> rule8) ((((triple12) -> rule6)) -> rule2)) -> rule4) OR ((((triple12) -> rule6) ((((((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple12) -> rule5)) -> rule8) ((((((triple12) -> rule5)) -> rule8)) -> rule2)) -> rule4))] Harry is young.[(triple12 OR ((triple11) -> rule9))] @1: Charlie is big.[(((triple1) -> rule2))] Dave is blue.[(((triple5) -> rule5))] Dave is quiet.[(((triple5) -> rule6) OR ((((triple5) -> rule5)) -> rule8))] Erin is furry.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple8) -> rule2)) -> rule4) OR ((((triple7) -> rule8) triple6) -> rule4) OR ((((triple7) -> rule8) ((triple8) -> rule2)) -> rule4) OR ((triple8 ((((triple7) -> rule8)) -> rule2)) -> rule4) OR ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule2)) -> rule4))] Erin is red.[(((triple7) -> rule1) OR ((((((((triple8 triple6) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple8 triple6) -> rule4)) -> rule9)) -> rule5)) -> rule1) OR ((((((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule9)) -> rule5)) -> rule1))] Harry is blue.[(((triple12) -> rule5) OR ((((triple11) -> rule9)) -> rule5))] Harry is quiet.[(((triple11) -> rule3) OR ((triple12) -> rule6) OR ((((triple11) -> rule9)) -> rule6) OR ((((triple12) -> rule5)) -> rule8) OR ((((((triple11) -> rule9)) -> rule5)) -> rule8))] @2: Charlie is furry.[(((triple1 ((triple1) -> rule2)) -> rule4))] Dave is furry.[(((((triple5) -> rule6) triple2) -> rule4) OR ((((((triple5) -> rule5)) -> rule8) triple2) -> rule4) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule2)) -> rule4) OR ((((((triple5) -> rule5)) -> rule8) ((((triple5) -> rule6)) -> rule2)) -> rule4) OR ((((triple5) -> rule6) ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule4) OR ((((((triple5) -> rule5)) -> rule8) ((((((triple5) -> rule5)) -> rule8)) -> rule2)) -> rule4))] Erin is young.[(((((triple8 triple6) -> rule4)) -> rule7) OR ((((triple8 triple6) -> rule4)) -> rule9) OR ((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 ((triple8) -> rule2)) -> rule4)) -> rule9) OR ((((((triple7) -> rule8) triple6) -> rule4)) -> rule7) OR ((((((triple7) -> rule8) triple6) -> rule4)) -> rule9) OR ((((((triple7) -> rule8) ((triple8) -> rule2)) -> rule4)) -> rule7) OR ((((((triple7) -> rule8) ((triple8) -> rule2)) -> rule4)) -> rule9) OR ((((triple8 ((((triple7) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((triple8 ((((triple7) -> rule8)) -> rule2)) -> rule4)) -> rule9) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule2)) -> rule4)) -> rule9))] Harry is red.[(((((triple12) -> rule5)) -> rule1) OR ((((((triple11) -> rule9)) -> rule5)) -> rule1))] @3: Charlie is young.[(((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule9))] @4: Charlie is blue.[(((((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule9)) -> rule5))] @5: Charlie is red.[(((((((((triple1 ((triple1) -> rule2)) -> rule4)) -> rule9)) -> rule5)) -> rule1))]