Charlie is big. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is red. Erin is big. Erin is kind. Erin is quiet. Erin is young. All kind, young people are quiet. Furry, red people are quiet. Furry people are red. If someone is quiet and red then they are cold. If someone is quiet and big then they are red. If Erin is cold then Erin is quiet. Quiet people are furry. If someone is big then they are furry.
Charlie is young.
@0: Charlie is big.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3 OR ((((triple4 triple6) -> rule2) triple6) -> rule4) OR ((((triple4 triple6) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule2) triple6) -> rule4) OR ((((((triple2) -> rule8) triple6) -> rule2) triple6) -> rule4) OR ((((triple4 triple6) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) triple6) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((triple4) -> rule3)) -> rule2) triple6) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) triple6) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((triple4) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((triple4) -> rule3)) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule2) triple6) -> rule4) OR ((((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule2) triple6) -> rule4) OR ((((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule2) ((((triple2) -> rule8)) -> rule3)) -> rule4))] Dave is furry.[(triple4 OR ((triple2) -> rule8))] Dave is kind.[(triple5)] Dave is red.[(triple6 OR ((triple4) -> rule3) OR ((((triple2) -> rule8)) -> rule3))] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9 OR ((triple8 triple10) -> rule1) OR ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2))] Erin is young.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule8))] Dave is quiet.[(((triple4 triple6) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2) OR ((((triple2) -> rule8) triple6) -> rule2) OR ((((triple2) -> rule8) ((triple4) -> rule3)) -> rule2) OR ((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule3)) -> rule2))] Erin is furry.[(((triple7) -> rule8) OR ((triple9) -> rule7) OR ((((triple8 triple10) -> rule1)) -> rule7))] Erin is red.[(((triple9 triple7) -> rule5) OR ((((triple7) -> rule8)) -> rule3) OR ((((triple9) -> rule7)) -> rule3) OR ((((triple8 triple10) -> rule1) triple7) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule7)) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule8)) -> rule3))] Erin is cold.[(((triple9 ((triple9 triple7) -> rule5)) -> rule4) OR ((((triple8 triple10) -> rule1) ((triple9 triple7) -> rule5)) -> rule4) OR ((triple9 ((((triple7) -> rule8)) -> rule3)) -> rule4) OR ((triple9 ((((triple9) -> rule7)) -> rule3)) -> rule4) OR ((triple9 ((((triple8 triple10) -> rule1) triple7) -> rule5)) -> rule4) OR ((((triple8 triple10) -> rule1) ((((triple7) -> rule8)) -> rule3)) -> rule4) OR ((((triple8 triple10) -> rule1) ((((triple9) -> rule7)) -> rule3)) -> rule4) OR ((((triple8 triple10) -> rule1) ((((triple8 triple10) -> rule1) triple7) -> rule5)) -> rule4) OR ((triple9 ((((((triple8 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule4) OR ((((triple8 triple10) -> rule1) ((((((triple8 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule4) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2) ((triple9 triple7) -> rule5)) -> rule4) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2) ((((triple7) -> rule8)) -> rule3)) -> rule4) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2) ((((triple9) -> rule7)) -> rule3)) -> rule4) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2) ((((triple8 triple10) -> rule1) triple7) -> rule5)) -> rule4) OR ((((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule3)) -> rule2) ((((((triple8 triple10) -> rule1)) -> rule7)) -> rule3)) -> rule4))] @3: Charlie is quiet.[(((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule3)) -> rule2))] @4: Charlie is cold.[(((((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule3)) -> rule2) ((((triple1) -> rule8)) -> rule3)) -> rule4))]