Anne is rough. Anne is round. Anne is young. Bob is cold. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is cold. Gary is red. Gary is young. White things are rough. Round, young things are kind. Red things are white. If something is white and red then it is round. If something is cold then it is young. If something is kind and red then it is rough. If Anne is young then Anne is round. All young, cold things are red.
Gary is rough.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2 OR ((triple3) -> rule7))] Anne is young.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5 OR ((((triple8 triple6) -> rule4) triple9) -> rule2) OR ((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) OR ((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2))] Bob is red.[(triple6 OR ((triple9 triple4) -> rule8) OR ((((triple4) -> rule5) triple4) -> rule8))] Bob is rough.[(triple7 OR ((triple8) -> rule1) OR ((triple5 triple6) -> rule6) OR ((((triple6) -> rule3)) -> rule1) OR ((triple5 ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple9 triple4) -> rule8)) -> rule3)) -> rule1) OR ((triple5 ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((triple8 triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3)) -> rule1) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((triple8 ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) triple9) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((triple9 triple4) -> rule8)) -> rule6) OR ((((((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) ((triple4) -> rule5)) -> rule2) ((((triple4) -> rule5) triple4) -> rule8)) -> rule6))] Bob is white.[(triple8 OR ((triple6) -> rule3) OR ((((triple9 triple4) -> rule8)) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule8)) -> rule3))] Bob is young.[(triple9 OR ((triple4) -> rule5))] Gary is cold.[(triple10)] Gary is red.[(triple11 OR ((triple12 triple10) -> rule8) OR ((((triple10) -> rule5) triple10) -> rule8))] Gary is young.[(triple12 OR ((triple10) -> rule5))] @1: Anne is kind.[(((triple2 triple3) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2))] Bob is round.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple9 triple4) -> rule8)) -> rule4) OR ((((triple6) -> rule3) triple6) -> rule4) OR ((((triple6) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((triple8 ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) triple6) -> rule4) OR ((((triple6) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((((((triple9 triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) triple6) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((triple9 triple4) -> rule8)) -> rule4) OR ((((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) ((((triple4) -> rule5) triple4) -> rule8)) -> rule4))] Gary is white.[(((triple11) -> rule3) OR ((((triple12 triple10) -> rule8)) -> rule3) OR ((((((triple10) -> rule5) triple10) -> rule8)) -> rule3))] @2: Gary is rough.[(((((triple11) -> rule3)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3)) -> rule1) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((triple12 triple10) -> rule8)) -> rule6) OR ((((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) ((((triple10) -> rule5) triple10) -> rule8)) -> rule6))] Gary is round.[(((((triple11) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4))] @3: Gary is kind.[(((((((triple11) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((triple11) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((triple12 triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) triple11) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) triple12) -> rule2) OR ((((((((((triple10) -> rule5) triple10) -> rule8)) -> rule3) ((((triple10) -> rule5) triple10) -> rule8)) -> rule4) ((triple10) -> rule5)) -> rule2))]