Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. All white, furry things are young. White, smart things are young. Furry things are white. If Gary is nice and Gary is white then Gary is kind. Smart, nice things are white. If something is furry then it is kind. All kind, quiet things are smart. If Gary is white and Gary is kind then Gary is furry.
Gary is kind.
@0: Gary is furry.[(triple1 OR ((triple6 triple2) -> rule8) OR ((triple6 ((triple3 triple6) -> rule4)) -> rule8) OR ((((triple5 triple3) -> rule5) triple2) -> rule8) OR ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8) OR ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8) OR ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8))] Gary is kind.[(triple2 OR ((triple1) -> rule6) OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple1) -> rule3)) -> rule4) OR ((triple3 ((triple5 triple3) -> rule5)) -> rule4))] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is smart.[(triple5 OR ((triple2 triple4) -> rule7) OR ((((triple1) -> rule6) triple4) -> rule7) OR ((((triple3 triple6) -> rule4) triple4) -> rule7) OR ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7))] Gary is white.[(triple6 OR ((triple1) -> rule3) OR ((triple5 triple3) -> rule5) OR ((((triple2 triple4) -> rule7) triple3) -> rule5) OR ((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5))] Gary is young.[(triple7 OR ((triple6 triple1) -> rule1) OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple2 triple4) -> rule7)) -> rule2) OR ((triple6 ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule1) OR ((((triple1) -> rule3) triple5) -> rule2) OR ((((triple5 triple3) -> rule5) triple1) -> rule1) OR ((((triple5 triple3) -> rule5) triple5) -> rule2) OR ((((triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((triple2 triple4) -> rule7)) -> rule2) OR ((((triple5 triple3) -> rule5) ((triple6 triple2) -> rule8)) -> rule1) OR ((triple6 ((triple6 ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((triple6 ((((triple1) -> rule6) triple4) -> rule7)) -> rule2) OR ((triple6 ((((triple3 triple6) -> rule4) triple4) -> rule7)) -> rule2) OR ((triple6 ((((triple5 triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple1) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple5) -> rule2) OR ((triple6 ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((triple1) -> rule6) triple4) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) triple4) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((triple5 triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((triple6 ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((triple1) -> rule6) triple4) -> rule7)) -> rule2) OR ((((triple5 triple3) -> rule5) ((((triple3 triple6) -> rule4) triple4) -> rule7)) -> rule2) OR ((((triple5 triple3) -> rule5) ((((triple5 triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple2 triple4) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple6 triple2) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple6 ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple1) -> rule6) triple4) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple3 triple6) -> rule4) triple4) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((triple6 ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((triple6 ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7)) -> rule2) OR ((triple6 ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) triple1) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) triple5) -> rule2) OR ((triple6 ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((triple6 ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7)) -> rule2) OR ((((triple1) -> rule3) ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7)) -> rule2) OR ((((triple5 triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((triple2 triple4) -> rule7)) -> rule2) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((triple6 triple2) -> rule8)) -> rule1) OR ((triple6 ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7)) -> rule2) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((triple6 ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple1) -> rule6) triple4) -> rule7)) -> rule2) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple3 triple6) -> rule4) triple4) -> rule7)) -> rule2) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((triple5 triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((triple6 ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple3 ((triple1) -> rule3)) -> rule4) triple4) -> rule7)) -> rule2) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) triple2) -> rule8)) -> rule1) OR ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((triple5 triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 triple6) -> rule4)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule6) triple4) -> rule7) triple3) -> rule5) ((((((triple2 triple4) -> rule7) triple3) -> rule5) ((triple3 ((triple5 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1))]