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