Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is round. Anne is white. Anne is young. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. White people are kind. If someone is young then they are blue. Round, quiet people are furry. All young people are round. If someone is quiet then they are furry. If someone is quiet and furry then they are white. If someone is round and young then they are quiet. If someone is furry then they are young.
Anne is round.
@0: Anne is blue.[(triple1 OR ((triple7) -> rule2) OR ((((triple2) -> rule8)) -> rule2) OR ((((((triple4) -> rule5)) -> rule8)) -> rule2) OR ((((((triple5 triple4) -> rule3)) -> rule8)) -> rule2))] Anne is furry.[(triple2 OR ((triple4) -> rule5) OR ((triple5 triple4) -> rule3) OR ((((triple5 triple7) -> rule7)) -> rule5) OR ((triple5 ((triple5 triple7) -> rule7)) -> rule3) OR ((((triple7) -> rule4) triple4) -> rule3) OR ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3) OR ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5) OR ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3) OR ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3))] Anne is kind.[(triple3 OR ((triple6) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule1) OR ((((triple4 ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) triple2) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple4 ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((triple4 ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) triple2) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) triple2) -> rule6)) -> rule1) OR ((((triple4 ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) triple2) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((triple4 ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) triple2) -> rule6)) -> rule1) OR ((((triple4 ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) triple2) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6)) -> rule1))] Anne is quiet.[(triple4 OR ((triple5 triple7) -> rule7) OR ((triple5 ((triple2) -> rule8)) -> rule7) OR ((((triple7) -> rule4) triple7) -> rule7) OR ((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) OR ((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7))] Anne is round.[(triple5 OR ((triple7) -> rule4) OR ((((triple2) -> rule8)) -> rule4) OR ((((((triple4) -> rule5)) -> rule8)) -> rule4))] Anne is white.[(triple6 OR ((triple4 triple2) -> rule6) OR ((triple4 ((triple4) -> rule5)) -> rule6) OR ((triple4 ((triple5 triple4) -> rule3)) -> rule6) OR ((((triple5 triple7) -> rule7) triple2) -> rule6) OR ((((triple5 triple7) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((triple5 triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((triple4 ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((triple4 ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((triple4 ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) triple2) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) triple2) -> rule6) OR ((triple4 ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((triple5 triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) triple2) -> rule6) OR ((((triple5 triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((triple4 ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((triple4 ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) triple2) -> rule6) OR ((triple4 ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((triple5 triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) triple2) -> rule6) OR ((((triple5 triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple4) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 triple4) -> rule3)) -> rule6) OR ((((triple5 ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple5 triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) triple4) -> rule3)) -> rule6) OR ((((((triple7) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) triple7) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((((triple7) -> rule4) triple7) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((triple5 ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((triple5 triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule7) ((((triple7) -> rule4) ((((triple7) -> rule4) triple7) -> rule7)) -> rule3)) -> rule6))] Anne is young.[(triple7 OR ((triple2) -> rule8) OR ((((triple4) -> rule5)) -> rule8) OR ((((triple5 triple4) -> rule3)) -> rule8))] Gary is blue.[(triple8 OR ((triple14) -> rule2) OR ((((triple9) -> rule8)) -> rule2) OR ((((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((((triple12 triple11) -> rule3)) -> rule8)) -> rule2))] Gary is furry.[(triple9 OR ((triple11) -> rule5) OR ((triple12 triple11) -> rule3) OR ((((triple12 triple14) -> rule7)) -> rule5) OR ((triple12 ((triple12 triple14) -> rule7)) -> rule3) OR ((((triple14) -> rule4) triple11) -> rule3) OR ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3) OR ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5) OR ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3) OR ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3))] Gary is kind.[(triple10 OR ((triple13) -> rule1) OR ((((triple11 triple9) -> rule6)) -> rule1) OR ((((triple11 ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((triple11 ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) triple9) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((triple11 ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((triple11 ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((triple11 ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) triple9) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) triple9) -> rule6)) -> rule1) OR ((((triple11 ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) triple9) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((triple11 ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((triple11 ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) triple9) -> rule6)) -> rule1) OR ((((triple11 ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) triple9) -> rule6)) -> rule1) OR ((((((triple12 triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6)) -> rule1))] Gary is quiet.[(triple11 OR ((triple12 triple14) -> rule7) OR ((triple12 ((triple9) -> rule8)) -> rule7) OR ((((triple14) -> rule4) triple14) -> rule7) OR ((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) OR ((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7))] Gary is round.[(triple12 OR ((triple14) -> rule4) OR ((((triple9) -> rule8)) -> rule4) OR ((((((triple11) -> rule5)) -> rule8)) -> rule4))] Gary is white.[(triple13 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple11) -> rule5)) -> rule6) OR ((triple11 ((triple12 triple11) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule7) triple9) -> rule6) OR ((((triple12 triple14) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((triple12 triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((triple11 ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((triple11 ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((triple11 ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) triple9) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) triple9) -> rule6) OR ((triple11 ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple12 triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) triple9) -> rule6) OR ((((triple12 triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((triple11 ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((triple11 ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) triple9) -> rule6) OR ((triple11 ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple12 triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) triple9) -> rule6) OR ((((triple12 triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple11) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 triple11) -> rule3)) -> rule6) OR ((((triple12 ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple12 triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) triple11) -> rule3)) -> rule6) OR ((((((triple14) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) triple14) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((((triple14) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((triple12 ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((triple12 triple14) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple9) -> rule8)) -> rule4) ((triple9) -> rule8)) -> rule7) ((((triple14) -> rule4) ((((triple14) -> rule4) triple14) -> rule7)) -> rule3)) -> rule6))] Gary is young.[(triple14 OR ((triple9) -> rule8) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple12 triple11) -> rule3)) -> rule8))]