Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Blue people are red. All red, blue people are rough. If someone is quiet then they are kind. All rough people are young. Red, blue people are rough. Kind people are blue. All young, red people are round. All red people are blue.
Charlie is not young.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple4) -> rule8) OR ((((triple3) -> rule3)) -> rule6))] Charlie is kind.[(triple2 OR ((triple3) -> rule3))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((((triple3) -> rule3)) -> rule6)) -> rule1))] Charlie is rough.[(triple5 OR ((triple4 triple1) -> rule2) OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple2) -> rule6)) -> rule2) OR ((triple4 ((triple2) -> rule6)) -> rule5) OR ((triple4 ((triple4) -> rule8)) -> rule2) OR ((triple4 ((triple4) -> rule8)) -> rule5) OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5) OR ((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2) OR ((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) triple1) -> rule2) OR ((((((triple2) -> rule6)) -> rule1) triple1) -> rule5) OR ((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2) OR ((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5))] Charlie is round.[(triple6 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple1) -> rule1)) -> rule7) OR ((((triple5) -> rule4) triple4) -> rule7) OR ((((triple5) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((triple7 ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule5)) -> rule4) triple4) -> rule7) OR ((((triple5) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((triple7 ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) triple4) -> rule7) OR ((((triple5) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple2) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((triple1) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7) OR ((((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) ((((((triple3) -> rule3)) -> rule6)) -> rule1)) -> rule7))] Charlie is young.[(triple7 OR ((triple5) -> rule4) OR ((((triple4 triple1) -> rule2)) -> rule4) OR ((((triple4 triple1) -> rule5)) -> rule4) OR ((((triple4 ((triple2) -> rule6)) -> rule2)) -> rule4) OR ((((triple4 ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((triple4 ((triple4) -> rule8)) -> rule2)) -> rule4) OR ((((triple4 ((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) OR ((((triple4 ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) triple1) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((((triple3) -> rule3)) -> rule6)) -> rule5)) -> rule4))]