Anne is cold. Anne is green. Anne is rough. Charlie is kind. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Erin is kind. Erin is quiet. Erin is red. Furry, rough people are green. Red people are furry. All green people are kind. Kind people are quiet. If someone is cold then they are rough. All furry, rough people are cold. All quiet people are red. All red, quiet people are cold. If Anne is kind then Anne is furry.
Charlie is rough.
@0: Anne is cold.[(triple1 OR ((((((triple2) -> rule3)) -> rule9) triple3) -> rule6) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule7) ((((triple2) -> rule3)) -> rule4)) -> rule8) OR ((((((((((triple2) -> rule3)) -> rule4)) -> rule7)) -> rule2) triple3) -> rule6))] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule4)) -> rule7) ((((triple2) -> rule3)) -> rule4)) -> rule8)) -> rule5))] Charlie is kind.[(triple4)] Dave is cold.[(triple5 OR ((triple9 triple8) -> rule8) OR ((triple9 ((triple7) -> rule4)) -> rule8) OR ((((triple8) -> rule7) triple8) -> rule8) OR ((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8) OR ((((((triple7) -> rule4)) -> rule7) triple8) -> rule8) OR ((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8))] Dave is furry.[(triple6 OR ((triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule2) OR ((((((triple7) -> rule4)) -> rule7)) -> rule2))] Dave is kind.[(triple7 OR ((((triple6 ((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((triple6 ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2) ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((triple6 ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule7)) -> rule2) ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1)) -> rule3))] Dave is quiet.[(triple8 OR ((triple7) -> rule4) OR ((((((triple6 ((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule4) OR ((((((((triple9) -> rule2) ((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule4))] Dave is red.[(triple9 OR ((triple8) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((((triple6 ((triple5) -> rule5)) -> rule1)) -> rule3)) -> rule4)) -> rule7))] Erin is kind.[(triple10 OR ((((((triple12) -> rule2) ((((triple12 triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule2) ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple11) -> rule7)) -> rule2) ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1)) -> rule3))] Erin is quiet.[(triple11 OR ((triple10) -> rule4))] Erin is red.[(triple12 OR ((triple11) -> rule7) OR ((((triple10) -> rule4)) -> rule7))] @1: Anne is kind.[(((triple2) -> rule3))] Charlie is quiet.[(((triple4) -> rule4))] Dave is rough.[(((triple5) -> rule5) OR ((((triple9 triple8) -> rule8)) -> rule5) OR ((((triple9 ((triple7) -> rule4)) -> rule8)) -> rule5) OR ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5) OR ((((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule4)) -> rule7) triple8) -> rule8)) -> rule5) OR ((((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5))] Erin is cold.[(((triple12 triple11) -> rule8) OR ((triple12 ((triple10) -> rule4)) -> rule8) OR ((((triple11) -> rule7) triple11) -> rule8) OR ((((triple11) -> rule7) ((triple10) -> rule4)) -> rule8) OR ((((((triple10) -> rule4)) -> rule7) triple11) -> rule8) OR ((((((triple10) -> rule4)) -> rule7) ((triple10) -> rule4)) -> rule8))] Erin is furry.[(((triple12) -> rule2) OR ((((triple11) -> rule7)) -> rule2) OR ((((((triple10) -> rule4)) -> rule7)) -> rule2))] @2: Anne is furry.[(((((triple2) -> rule3)) -> rule9) OR ((((((((triple2) -> rule3)) -> rule4)) -> rule7)) -> rule2))] Anne is quiet.[(((((triple2) -> rule3)) -> rule4))] Charlie is red.[(((((triple4) -> rule4)) -> rule7))] Dave is green.[(((triple6 ((triple5) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((triple5) -> rule5)) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((triple5) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((triple9 ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((triple9 ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((triple5) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((triple9 ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple9 triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((triple9 ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((((triple8) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((((triple8) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple7) -> rule4)) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((triple6 ((((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((((((triple7) -> rule4)) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((triple9) -> rule2) ((((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((((((triple7) -> rule4)) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7)) -> rule2) ((((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((((((triple7) -> rule4)) -> rule7) triple8) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule7)) -> rule2) ((((((((triple7) -> rule4)) -> rule7) ((triple7) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Erin is rough.[(((((triple12 triple11) -> rule8)) -> rule5) OR ((((triple12 ((triple10) -> rule4)) -> rule8)) -> rule5) OR ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5) OR ((((((triple11) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule7) triple11) -> rule8)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5))] @3: Anne is red.[(((((((triple2) -> rule3)) -> rule4)) -> rule7))] Charlie is cold.[(((((((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule8))] Charlie is furry.[(((((((triple4) -> rule4)) -> rule7)) -> rule2))] Erin is green.[(((((triple12) -> rule2) ((((triple12 triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((triple12 triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple12) -> rule2) ((((triple12 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple12) -> rule2) ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple12) -> rule2) ((((((triple11) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((triple12 triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((triple11) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((triple12 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((((triple11) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((((triple11) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple12) -> rule2) ((((((((triple10) -> rule4)) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((triple12) -> rule2) ((((((((triple10) -> rule4)) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((((triple10) -> rule4)) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((triple11) -> rule7)) -> rule2) ((((((((triple10) -> rule4)) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((((((triple10) -> rule4)) -> rule7) triple11) -> rule8)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule2) ((((((((triple10) -> rule4)) -> rule7) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule1))] @4: Charlie is rough.[(((((((((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule8)) -> rule5))] @5: Charlie is green.[(((((((((triple4) -> rule4)) -> rule7)) -> rule2) ((((((((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule8)) -> rule5)) -> rule1))]