Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. If something is rough then it is big. If Charlie is cold and Charlie is kind then Charlie is rough. If Charlie is rough and Charlie is kind then Charlie is quiet. Quiet, kind things are cold. Nice, round things are quiet. Nice things are kind. If something is kind then it is nice. Big, round things are kind.
Charlie is rough.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule1) OR ((((triple2 triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((triple5 triple3) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((triple5 triple3) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((triple5 ((triple4) -> rule6)) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((triple4 triple7) -> rule5) triple3) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((triple5 ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple4 triple7) -> rule5) triple3) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) triple3) -> rule2)) -> rule1) OR ((((((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2)) -> rule1))] Charlie is cold.[(triple2 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple4) -> rule6)) -> rule4) OR ((triple5 ((triple1 triple7) -> rule8)) -> rule4) OR ((((triple4 triple7) -> rule5) triple3) -> rule4) OR ((((triple6 triple3) -> rule3) triple3) -> rule4) OR ((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) OR ((((triple4 triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) OR ((((triple6 triple3) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((triple6 triple3) -> rule3) ((triple1 triple7) -> rule8)) -> rule4) OR ((triple5 ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple4) -> rule6)) -> rule3) triple3) -> rule4) OR ((((triple6 ((triple1 triple7) -> rule8)) -> rule3) triple3) -> rule4) OR ((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) OR ((((triple4 triple7) -> rule5) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple6 triple3) -> rule3) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((triple6 ((triple4) -> rule6)) -> rule3) ((triple1 triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple1 triple7) -> rule8)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((triple6 ((triple1 triple7) -> rule8)) -> rule3) ((triple1 triple7) -> rule8)) -> rule4) OR ((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple4) -> rule6)) -> rule3) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple1 triple7) -> rule8)) -> rule3) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((triple3) -> rule7) triple7) -> rule5) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple6 ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) triple3) -> rule4) OR ((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) triple3) -> rule4) OR ((((triple6 ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((triple6 ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) ((triple1 triple7) -> rule8)) -> rule4) OR ((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) OR ((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) OR ((((triple6 ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule1) triple7) -> rule8)) -> rule7) triple7) -> rule5) triple3) -> rule4) OR ((((((((((triple6) -> rule1) triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) OR ((((((((((triple6) -> rule1) triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule1) triple7) -> rule8)) -> rule7) triple7) -> rule5) ((((triple6) -> rule1) triple7) -> rule8)) -> rule4))] Charlie is kind.[(triple3 OR ((triple4) -> rule6) OR ((triple1 triple7) -> rule8) OR ((((triple6) -> rule1) triple7) -> rule8))] Charlie is nice.[(triple4 OR ((triple3) -> rule7) OR ((((triple1 triple7) -> rule8)) -> rule7) OR ((((((triple6) -> rule1) triple7) -> rule8)) -> rule7))] Charlie is quiet.[(triple5 OR ((triple4 triple7) -> rule5) OR ((triple6 triple3) -> rule3) OR ((triple6 ((triple4) -> rule6)) -> rule3) OR ((triple6 ((triple1 triple7) -> rule8)) -> rule3) OR ((((triple3) -> rule7) triple7) -> rule5) OR ((((triple2 triple3) -> rule2) triple3) -> rule3) OR ((((triple2 triple3) -> rule2) ((triple4) -> rule6)) -> rule3) OR ((((triple2 triple3) -> rule2) ((triple1 triple7) -> rule8)) -> rule3) OR ((triple6 ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) OR ((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) OR ((((triple2 ((triple4) -> rule6)) -> rule2) triple3) -> rule3) OR ((((triple2 ((triple1 triple7) -> rule8)) -> rule2) triple3) -> rule3) OR ((((triple2 triple3) -> rule2) ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple4) -> rule6)) -> rule2) ((triple4) -> rule6)) -> rule3) OR ((((triple2 ((triple4) -> rule6)) -> rule2) ((triple1 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple1 triple7) -> rule8)) -> rule2) ((triple4) -> rule6)) -> rule3) OR ((((triple2 ((triple1 triple7) -> rule8)) -> rule2) ((triple1 triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple4) -> rule6)) -> rule2) ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) OR ((((triple2 ((triple1 triple7) -> rule8)) -> rule2) ((((triple6) -> rule1) triple7) -> rule8)) -> rule3) OR ((((((((triple6) -> rule1) triple7) -> rule8)) -> rule7) triple7) -> rule5))] Charlie is rough.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple4) -> rule6)) -> rule2) OR ((triple2 ((triple1 triple7) -> rule8)) -> rule2) OR ((((triple5 triple3) -> rule4) triple3) -> rule2) OR ((((triple5 triple3) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((triple5 triple3) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((triple5 ((triple4) -> rule6)) -> rule4) triple3) -> rule2) OR ((((triple5 ((triple1 triple7) -> rule8)) -> rule4) triple3) -> rule2) OR ((((((triple4 triple7) -> rule5) triple3) -> rule4) triple3) -> rule2) OR ((((triple5 ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple4) -> rule6)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((triple5 ((triple1 triple7) -> rule8)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple1 triple7) -> rule8)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((triple4 triple7) -> rule5) triple3) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule5) triple3) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) triple3) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) triple3) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) triple3) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((triple3) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) triple3) -> rule4) triple3) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) triple3) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) triple3) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) triple3) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) triple3) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple4) -> rule6)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple4) -> rule6)) -> rule2) OR ((((((((((triple1 triple7) -> rule8)) -> rule7) triple7) -> rule5) ((triple1 triple7) -> rule8)) -> rule4) ((triple1 triple7) -> rule8)) -> rule2))] Charlie is round.[(triple7)]