Anne is blue. Anne is green. Anne is nice. Anne is red. Charlie is blue. Charlie is red. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is blue. Erin is nice. Erin is quiet. Nice people are young. All round people are red. All red, young people are quiet. All red people are round. Red, round people are nice. If Anne is green then Anne is red. Green people are red. If someone is nice and round then they are young.
Charlie is green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4 ((triple4) -> rule4)) -> rule5) OR ((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) OR ((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) OR ((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) OR ((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5))] Anne is red.[(triple4 OR ((triple2) -> rule6) OR ((triple2) -> rule7))] Charlie is blue.[(triple5)] Charlie is red.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule4)) -> rule5) OR ((((triple12) -> rule2) triple12) -> rule5) OR ((((triple8) -> rule7) triple12) -> rule5) OR ((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) OR ((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) OR ((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5))] Dave is quiet.[(triple10 OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple9) -> rule1)) -> rule3) OR ((triple11 ((triple9 triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) triple13) -> rule3) OR ((((triple8) -> rule7) triple13) -> rule3) OR ((((triple12) -> rule2) ((triple9) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple9 triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((triple9) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((triple9 triple12) -> rule8)) -> rule3) OR ((triple11 ((((triple11 triple12) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((triple9 ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11 triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((triple11 triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple9 ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((triple9 ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) triple12) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) triple12) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((triple9 ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((triple11 triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((triple9 ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) triple12) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((triple9 ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) triple12) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) triple12) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple11 ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8)) -> rule3) OR ((triple11 ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple12) -> rule2) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple8) -> rule7) ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8)) -> rule3))] Dave is red.[(triple11 OR ((triple12) -> rule2) OR ((triple8) -> rule7))] Dave is round.[(triple12 OR ((triple11) -> rule4) OR ((((triple8) -> rule7)) -> rule4))] Dave is young.[(triple13 OR ((triple9) -> rule1) OR ((triple9 triple12) -> rule8) OR ((((triple11 triple12) -> rule5)) -> rule1) OR ((triple9 ((triple11) -> rule4)) -> rule8) OR ((((triple11 triple12) -> rule5) triple12) -> rule8) OR ((((triple11 triple12) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule5)) -> rule1) OR ((((((triple12) -> rule2) triple12) -> rule5)) -> rule1) OR ((((((triple8) -> rule7) triple12) -> rule5)) -> rule1) OR ((triple9 ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule5) triple12) -> rule8) OR ((((((triple12) -> rule2) triple12) -> rule5) triple12) -> rule8) OR ((((((triple8) -> rule7) triple12) -> rule5) triple12) -> rule8) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5)) -> rule1) OR ((((triple11 triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) triple12) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) triple12) -> rule8) OR ((((((triple8) -> rule7) triple12) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) triple12) -> rule8) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) triple12) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) ((triple11) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8) OR ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) triple12) -> rule8) OR ((((triple11 ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((triple11) -> rule4)) -> rule8) OR ((((((triple12) -> rule2) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule4)) -> rule5) ((((triple8) -> rule7)) -> rule4)) -> rule8))] Erin is blue.[(triple14)] Erin is nice.[(triple15)] Erin is quiet.[(triple16)] @1: Anne is round.[(((triple4) -> rule4) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule7)) -> rule4))] Anne is young.[(((triple3) -> rule1) OR ((triple3 ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule1) OR ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((triple3 ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5)) -> rule1) OR ((((triple4 ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1) OR ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8) OR ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8))] Charlie is round.[(((triple6) -> rule4))] Erin is young.[(((triple15) -> rule1))] @2: Anne is quiet.[(((triple4 ((triple3) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((triple3) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((triple3) -> rule1)) -> rule3) OR ((triple4 ((triple3 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((triple3 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((triple3 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((triple3 ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((triple4 ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((triple3 ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((triple3 ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((triple4) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((triple4 ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule6) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule6) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule6)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule7) ((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5) ((((triple2) -> rule7)) -> rule4)) -> rule8)) -> rule3))] Charlie is nice.[(((triple6 ((triple6) -> rule4)) -> rule5))] @3: Charlie is young.[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule1) OR ((((triple6 ((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule8))] @4: Charlie is quiet.[(((triple6 ((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple6 ((((triple6 ((triple6) -> rule4)) -> rule5) ((triple6) -> rule4)) -> rule8)) -> rule3))]